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:
![Avatar](http://www.macs.hw.ac.uk/~ek19/Katya3.jpg)
Prof. Ekaterina Komendantskaya, Lab Lead, Southampton University and HWU. Email: ek19@hw.ac.uk
![Avatar](http://www.macs.hw.ac.uk/~rs46/images/site/headshot-RS.jpg)
![](http://laiv.uk/wp-content/uploads/2019/05/MichaelLones.jpg)
![](https://laiv.uk/wp-content/uploads/2022/03/passbild-214x300.jpg)
![](http://laiv.uk/wp-content/uploads/2019/04/liliaPhoto-e1554473955574-576x1024.jpg)
Assistant Professor in Computer Science, School of Mathematical and Computer Sciences, HWU. Email: L.Georgieva@hw.ac.uk
![](http://laiv.uk/wp-content/uploads/2020/04/WeiPang2020-762x1024.jpeg)
![](https://laiv.uk/wp-content/uploads/2022/09/mn-150x150.jpg)
Assistant Professor in Computer Science, School of Mathematical and Computer Sciences, HWU. Email: M.Najib@hw.ac.uk
![](https://laiv.uk/wp-content/uploads/2022/03/Profile.jpeg)
LAIV Research Assistants:
![](https://laiv.uk/wp-content/uploads/2022/04/Yuhui.jpg)
![](http://laiv.uk/wp-content/uploads/2019/12/avatar-1.jpg)
![](http://laiv.uk/wp-content/uploads/2019/12/avatar-1.jpg)
LAIV PhD students:
![](https://laiv.uk/wp-content/uploads/2022/09/CLIPINLAY_DESMARTIN_REMI-54-150x150.jpg)
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)
![](https://laiv.uk/wp-content/uploads/2022/03/PXL_20201101_120158816.PORTRAIT-1-768x1024.jpg)
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
![](https://laiv.uk/wp-content/uploads/2022/03/Natalia-941x1024.jpg)
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
![](http://laiv.uk/wp-content/uploads/2023/10/20230711_134915-768x1024.jpg)
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
![](https://laiv.uk/wp-content/uploads/2023/10/ID_photo.jpg)
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)
![](http://laiv.uk/wp-content/uploads/2020/03/IMG_0477-817x1024.jpeg)
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:
![](http://laiv.uk/wp-content/uploads/2021/11/Matthew-576x1024.jpg)
![](https://laiv.uk/wp-content/uploads/2021/11/download.jpeg)
![](http://laiv.uk/wp-content/uploads/2019/05/air12.jpg)
![](http://laiv.uk/wp-content/uploads/2020/06/David.jpg)
![](https://laiv.uk/wp-content/uploads/2023/06/bob.jpeg)
![](https://laiv.uk/wp-content/uploads/2022/09/mdoko1.jpg)
![](http://laiv.uk/wp-content/uploads/2020/03/macshloidl.jpg)
![](http://laiv.uk/wp-content/uploads/2019/03/hike_thailand.jpg)
Topic of research collaboration: Types, Coinduction and Semantics of Programming languages
![](http://laiv.uk/wp-content/uploads/2020/09/Clemens.jpeg)
Topic of research collaboration: Coinduction, Semantics of Programming languages
![](http://laiv.uk/wp-content/uploads/2019/04/Manuel_Maarek.jpg)
![](http://laiv.uk/wp-content/uploads/2019/03/RonPetrick_webready.jpg)
Topic of research collaboration: Verification of AI Planning
![](http://laiv.uk/wp-content/uploads/2020/03/John.jpg)
![](http://laiv.uk/wp-content/uploads/2020/03/Verena-768x1024.jpg)
![](https://laiv.uk/wp-content/uploads/2022/10/Grant-1-150x150.jpeg)
![](https://laiv.uk/wp-content/uploads/2022/03/foto3x4-766x1024.png)
Topic of research collaboration: Types and Programming Languages
![](http://laiv.uk/wp-content/uploads/2019/12/avatar-1.jpg)
![](http://laiv.uk/wp-content/uploads/2019/03/JWells.jpg)
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
![](http://laiv.uk/wp-content/uploads/2019/12/avatar-1.jpg)
![](http://laiv.uk/wp-content/uploads/2019/03/profile-1.png)
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
![](https://laiv.uk/wp-content/uploads/2022/03/kirsty-814x1024.jpg)
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:
![](http://laiv.uk/wp-content/uploads/2020/09/luyu.jpg)
![](http://laiv.uk/wp-content/uploads/2020/12/Michael.jpg)
Email: mp2012@hw.ac.uk
MSc Project title: Explainable Neural Networks
Supervisor: Komendantskaya
![](http://laiv.uk/wp-content/uploads/2020/12/Arran-961x1024.jpg)
Email: ald2000@hw.ac.uk
MSc Project title: Verification of Neural Networks
Supervisor: Komendantskaya
![](http://laiv.uk/wp-content/uploads/2021/01/Nejma-4-1024x970.jpg)
Email: nkb2000@hw.ac.uk
MSc Project title: Explainable AI
Supervisor: Stewart
![](http://laiv.uk/wp-content/uploads/2019/12/avatar-1.jpg)
Hons student, School of Mathematical and Computer Sciences, HWU. Hons Project topic: Mathematical properties of neural networks on toy datasets Supervisors: Komendantskaya and Kienitz
![](http://laiv.uk/wp-content/uploads/2020/09/Sabina.png)
![](http://laiv.uk/wp-content/uploads/2020/12/Dan-1024x1024.jpg)
Email: dg15@hw.ac.uk
MSc Project title: Explainable and Safe Sign Language Analysis via Neural Networks Supervisor: Komendantskaya
![](http://laiv.uk/wp-content/uploads/2019/12/avatar-1.jpg)
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:
![](http://laiv.uk/wp-content/uploads/2019/11/70327755_757263258043510_5724800748227657728_o-1024x1024.jpg)
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
![](http://laiv.uk/wp-content/uploads/2020/03/IMG_0477-817x1024.jpeg)
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
![](http://laiv.uk/wp-content/uploads/2020/03/Dorian-877x1024.jpg)
Email: dg67@hw.ac.uk
Topic: Bio-Inspired Computing
Supervisor: Michael Lones
![](http://laiv.uk/wp-content/uploads/2019/12/vincent_larcher.jpg)
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
![](http://laiv.uk/wp-content/uploads/2020/07/TGey.jpeg)
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
![](http://laiv.uk/wp-content/uploads/2020/03/Ashwin-1024x977.jpg)
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
![](http://laiv.uk/wp-content/uploads/2019/11/FotoTessera.png)
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
![](http://laiv.uk/wp-content/uploads/2020/04/bps.jpg)
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
![](http://laiv.uk/wp-content/uploads/2019/12/avatar-1.jpg)
![](http://laiv.uk/wp-content/uploads/2019/03/Franta.jpg)
Research topic: Proof Relevant Resolution and Type Inference
Supervisors: Komendantskaya and Hammond
Alumni 2019:
![](http://laiv.uk/wp-content/uploads/2019/03/photoDP-801x1024.jpg)
Supervisors: Stewart and Komendantskaya
![](http://laiv.uk/wp-content/uploads/2019/03/18268354_10212472165987536_1385081746796902094_n.jpg)
Research topic: Verification of Neural Networks: DLV Supervisors: Komendantskaya and Stewart
![](http://laiv.uk/wp-content/uploads/2019/03/YueProfile-1.jpg)
Research topic: Coinduction in Logic Programming Supervisors: Komendantskaya and Lawson
![](http://laiv.uk/wp-content/uploads/2019/03/Снимок-экрана-2019-01-17-в-22.13.14.png)
![](http://laiv.uk/wp-content/uploads/2019/12/avatar-1.jpg)