This page lists LAIV members, students and friends. If you wish to sign up for LAIV mailing list, please contact Natalia Slusarz. LAIV’s slack is https://dsg-laiv.slack.com .
LAIV Academics:

Prof. Ekaterina Komendantskaya, Lab Lead, Southampton University and HWU. Email: ek19@hw.ac.uk




Assistant Professor in Computer Science, School of Mathematical and Computer Sciences, HWU. Email: L.Georgieva@hw.ac.uk


Assistant Professor in Computer Science, School of Mathematical and Computer Sciences, HWU. Email: M.Najib@hw.ac.uk

LAIV Research Assistants:



LAIV PhD students:

PhD student, Edinburgh Center for Robotics (Industrial Scholarship).
Email: rhd200@hw.ac.uk
Research topic: Verification of Machine Learning in Imandra
Supervisors: Komendantskaya, Stark and Pasmore (Imandra.ai)

PhD student, School of Mathematical and Computer Sciences, HWU. Email: MC248@hw.ac.uk Research topic: Verification of NLP applications
Supervisors: Komendantskaya Rieser and Lemon

PhD student, School of Mathematical and Computer Sciences, HWU. Email: nds1@hw.ac.uk Research topic: Verification of Neural Networks
Supervisors: Komendantskaya Stewart and Stark

PhD student, MACS, HWU. Email: bc90@hw.ac.uk Research topic: Verification of Neural Networks in Engineering Applications (ICASE Studentship sponsored by SLB Cambridge)
Supervisors: Komendantskaya and Stewart

PhD student, Edinburgh Center for Robotics. Email: c.kessler@sms.ed.ac.uk Research topic: Safe Design of Airborne Autonomous Systems with Neural Network Components
Supervisors: Komendantskaya and Ignazio Viola (UoE)

PhD student, Edinburgh Center for Robotics.
Email: fg28@hw.ac.uk
Research topic: Evolutionary Algorithms For Program Generation
Supervisors: Lones and Stewart
LAIV Friends and Collaborators:








Topic of research collaboration: Types, Coinduction and Semantics of Programming languages

Topic of research collaboration: Coinduction, Semantics of Programming languages


Topic of research collaboration: Verification of AI Planning




Topic of research collaboration: Types and Programming Languages


Topic of research collaboration: Verification of AI Planning
LAIV Alumini:
Alumini 2023:
Daniel Kienitz,
PhD student, School of Mathematical and Computer Sciences, HWU. Email: dk50@hw.ac.uk Research topic: Verification of Neural Networks Supervisors: Komendantskaya and Lones
Yingfang Yuan
PhD student, School of Mathematical and Computer Sciences, HWU. Email: yyy2@hw.ac.uk Research topic: AutoML and Graph Neural Networks Supervisors: Pang, Chantler, Coghill (external)
Ben Coke: MSc dissertation topic: Neural Network Verification with Vehicle. Supervisors: E.Komendantskaya
Jeonghyeon Lee: MSc dissertation topic: Neural Network Explainability meets Verification (in Vehicle). Supervisors: E.Komendantskaya
Alumini 2022:
Samuel Moses. MSc dissertation topic: Sensors in Autonomous driving. Supervisors: E.Komendantskaya and Y.Lin
Haorang Hong. MSc dissertation topic: Autonomous Racing. Supervisors: Y.Lin and E.Komendantskaya
Sinead Donnelly. MSc dissertation topic: Modelling and Verifying Dynamic Systems in KyYmaera. Supervisors: M.Daggitt and E.Komendantskaya
Henri-Louis Boisvert. MSc dissertation topic: Reinforcement Learning for Autonomous Cars. Supervisors: E.Komendantskaya and L.Arnaboldi
Assiya Chiguyer. MSc dissertation topic: Explainable AI . Supervisors: E.Komendantskaya and N.Slusarz
Youssef Bonnaire. MSc dissertation topic: GANS for LIDARS. Supervisors: E.Komendantskaya and M.Casadio


PhD student, School of Mathematical and Computer Sciences, HWU. Email: ath7@hw.ac.uk Research topic: Verification of AI Planning languages
Supervisors: Komendantskaya and Petrick

PhD student, School of Mathematical and Computer Sciences, HWU, Email: krd1@hw.ac.uk
Research topic: Verification of Neural Networks Supervisors: Komendantskaya and Stewart
Alumni 2021:


Email: mp2012@hw.ac.uk
MSc Project title: Explainable Neural Networks
Supervisor: Komendantskaya

Email: ald2000@hw.ac.uk
MSc Project title: Verification of Neural Networks
Supervisor: Komendantskaya

Email: nkb2000@hw.ac.uk
MSc Project title: Explainable AI
Supervisor: Stewart

Hons student, School of Mathematical and Computer Sciences, HWU. Hons Project topic: Mathematical properties of neural networks on toy datasets Supervisors: Komendantskaya and Kienitz


Email: dg15@hw.ac.uk
MSc Project title: Explainable and Safe Sign Language Analysis via Neural Networks Supervisor: Komendantskaya

MSc student, School of Mathematical and Computer Sciences, HWU. Email: rhd200@hw.ac.uk MSc Project topic: Tools for Explainable Neural networks Supervisor: Komendantskaya
Alumni 2020:

MSc student, School of Mathematical and Computer Sciences, HWU.
Email: ac229@hw.ac.uk
Research topic: Explainable AI: Methods to Evaluate Machine Learning Models Supervisor: Komendantskaya

MSc student, School of Mathematical and Computer Sciences, HWU.
Email: fg28@hw.ac.uk
Research topic: Evolutionary Algorithms For Neural Network Robustness
Supervisor: Michael Lones

Email: dg67@hw.ac.uk
Topic: Bio-Inspired Computing
Supervisor: Michael Lones

MSc student, School of Mathematical and Computer Sciences, HWU.
Email: vl17@hw.ac.uk
Research topic: Generation of Adversarial Attacks on Computer Vision Models with Deep Reinforcement Learning
Supervisor: Komendantskaya

MSc student, School of Mathematical and Computer Sciences, HWU.
Email: tg106@hw.ac.uk
Research topic: Neural Architecture Search for CNN and its variants using Ant Colony Optimization
Supervisor: Wei Pang

MSc Masterclass student, School of Mathematical and Computer Sciences, HWU.
Email: ar111@hw.ac.uk Masterclass topic: Z3 API in Python and its use in Neural Net Verification Supervisor: Komendantskaya

MSc student, School of Mathematical and Computer Sciences, HWU.
Email: mc248@hw.ac.uk
Research topic: Generative versus logical training against adversarial attacks Supervisor: Komendantskaya

MSc student, School of Mathematical and Computer Sciences, HWU. Email: bps2@hw.ac.uk Research topic: Verification of Neural Networks for Medical Images Supervisor: Komendantskaya


Research topic: Proof Relevant Resolution and Type Inference
Supervisors: Komendantskaya and Hammond
Alumni 2019:

Supervisors: Stewart and Komendantskaya

Research topic: Verification of Neural Networks: DLV Supervisors: Komendantskaya and Stewart

Research topic: Coinduction in Logic Programming Supervisors: Komendantskaya and Lawson

