LAIV Members – LAIV: Lab for AI Verification

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

Dr Rob Stewart, Assistant Professor in Computer Science, School of Mathematical and Computer Sciences, HWU. Email: R.Stewart@hw.ac.uk

Dr Michael Lones, *Associate Professor in Computer Science, School of Mathematical and Computer Sciences, HWU. Email:* m.lones@hw.ac.uk

Dr Kathrin Stark, *Assistant Professor in Computer Science, School of Mathematical and Computer Sciences, HWU.* *Email:* k.stark @hw.ac.uk

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

Dr Wei Pang, Associate Professor in Computer Science, School of Mathematical and Computer Sciences, HWU. Email: W.Pang@hw.ac.uk

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

Dr Chengjia Wang, Assistant Professor in Computer Science, School of Mathematical and Computer Sciences, HWU. Email: Chengjia.Wang@hw.ac.uk

LAIV Research Assistants:

Yuhui Lin, RA, *School of Mathematical and Computer Sciences, HWU.* Email: u.lin@hw.ac.uk Researcher in the **TAS: Trustworthy Autonomous Systems grant** (under supervision of A.Ireland)

Wen Kokke, RA, University of Strathclyde. Email: wen.kokke@gmail.com Researcher in the EPSRC project AISEC: AI Secure and Explainable by Construction

Tanvi Dinkar, RA, School of Mathematical and Computer Sciences, HWU. Email: t.dinkar@hw.ac.uk Researcher in the EPSRC project AISEC: AI Secure and Explainable by Construction.

LAIV PhD students:

Remi Desmartin,
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)

Marco Casadio,
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

Natalia Slusarz,
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

Ben Coke,
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

Colin Kessler,
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)

Fraser Garrow,
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:

Matthew Daggitt, North-Western University, Australia Topic of research collaboration: **Neural Network Verification**.

Luca Arnaboldi, Birmingham University. Topic of Research Collaboration: Security and NLP

Prof. Andrew Ireland, School of Mathematical and Computer Sciences. HWU

David Aspinall, Security and Privacy Research Group, Edinburgh University. Topic of collaboration: **Security for AI**

Robert Atkey, Mathematically Structured Programming Group, Strathclyde University. Topic of collaboration: **Types and Programming Languages**

*Dr Marko Doko, Assistant Professor in Computer Science, School of Mathematical and Computer Sciences, HWU.*

Dr Hans-Wolfgang Loidl, *Associate Professor in Computer Science, School of Mathematical and Computer Sciences, HWU.*

Henning Basold, Universteit Leiden.
**Topic of research collaboration: Types, Coinduction** **and Semantics of Programming languages**

Clemens Kupke University of Strathclyde.
**Topic of research collaboration: Coinduction, Semantics of Programming languages**

Manuel Maarek, Security Group, Heriot-Watt University. **Topic of research collaboration: Security**

Ron Petrick, Edinburgh Center for Robotics and Heriot-Watt University.
**Topic of research collaboration: Verification of AI Planning**

John Power, Macquarie University. **Topic of Collaboration: Semantics of Programming Languages**

Verena Rieser, NLP Lab, Heriot-Watt University. **Topic of collaboration: Verification for NLP**

Grant Passmore, Imandra.AI. **Topic of Collaboration: Formalisation of Neural Networks**

Filip Sieczkowski, Heriot-Watt University.
**Topic of research collaboration: Types and Programming Languages**

Mark Lawson, Mathematics Department, Heriot-Watt University. Topic of Collaboration: Mathematical Logic.

Joe Wells, ULTRA group, Heriot-Watt University.
**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

Scott McLachlan, RA, the School of Law, Edinburgh University. Email: Scott.McLachlan@ed.ac.uk Researcher in the EPSRC project AISEC: AI Secure and Explainable by Construction.

Alasdair Hill,
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

Kirsty Duncan,
PhD student, *School of Mathematical and Computer Sciences, HWU, Email: k*rd1@hw.ac.uk
**Research topic: Verification of Neural Networks** Supervisors: Komendantskaya and Stewart

Alumni 2021:

Lu Yu, *RA, School of Mathematical and Computer Sciences, HWU.* Email: L.Yu@hw.ac.uk **Researcher in EPSRC project AISEC: AI Secure and Explainable by Construction. Main affiliation: the NLP lab at HWU.**

Michael Pidgeon, MSc Student, *School of Mathematical and Computer Sciences, HWU.*
*Email:* mp2012@hw.ac.uk
**MSc Project title: Explainable Neural Networks**
Supervisor: Komendantskaya

Arran Dinsmore, MSc Student, *School of Mathematical and Computer Sciences, HWU.*
*Email:* ald2000@hw.ac.uk
**MSc Project title: Verification of Neural Networks**
Supervisor: Komendantskaya

Nejma Belkhanfar, MSc Student, *School of Mathematical and Computer Sciences, HWU.*
*Email:* nkb2000@hw.ac.uk
**MSc Project title:** Explainable AI
Supervisor: Stewart

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

Sabina Jedrzejczyk, MEng Masterclass student, School of Mathematical and Computer Sciences, HWU. Topic of the masterclass: **Verifying Neural Networks with Z3 in Python .** Advisors: Komendantskaya, Kokke, Kienitz

Dan Green, MSc Student, *School of Mathematical and Computer Sciences, HWU.*
*Email:* dg15@hw.ac.uk
**MSc Project title: Explainable and Safe Sign Language Analysis via Neural Networks** Supervisor: Komendantskaya

Remi Desmartin,
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:

*Alexandre* Cardaillac ,
*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*

Fraser Garrow,
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

Dorian *Gouzou,* *MSc student, School of Mathematical and Computer Sciences, HWU.*
*Email:* dg67@hw.ac.uk
**Topic: Bio-Inspired Computing**
Supervisor: Michael Lones

*Vincent Larcher,*
*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*

*Thomas Gey ,*
*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*

*Ashwin Rajendran,*
*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*

Marco Cassadio,
*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*

Bartosz Schatton,
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

Hugo Cousin, MSc student, School of Mathematical and Computer Sciences, HWU, Email: hc73@hw.ac.uk Research topic: High-Performance Analysis for Social Networks in Rust. Supervisor: H.-W.Loidl

Frantisek Farka, PhD student, School of Mathematical and Computer Sciences, HWU, Email: ffarka@gmail.com
**Research topic: Proof Relevant Resolution and Type Inference**
*Supervisors: Komendantskaya* and Hammond

Alumni 2019:

Pascal Bacchus, MSc student, School of Mathematical and Computer Sciences, Heriot-Watt University. **Research topic: Performance Metrics for Approximate Deep Learning on Programmable Hardware**
*Supervisors: Stewart and Komendantskaya*

Pierre Le Hen, MSc student, School of Mathematical and Computer Sciences, Heriot-Watt University.
**Research topic: Verification of Neural Networks: DLV** *Supervisors: Komendantskaya* and Stewart

Yue Li, PhD student, School of Mathematical and Computer Sciences, HWU, Email: yl55@hw.ac.uk
**Research topic: Coinduction in Logic Programming** *Supervisors: Komendantskaya* and Lawson

Dmitry Rozplokhas, JetBrains MSc student: visiting student at LAIV. **Topic of research collaboration: Coinduction in relational programming**

Daniel Kienitz, PhD student, School of Mathematical and Computer Sciences, HWU. Email: dk50@hw.ac.uk Research topic: Robustness of Neural Networks: Understanding the Nature of Adversarial Examples Supervisor: Komendantskaya