LAIV Members

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

LAIV Academics:

Avatar

Prof. Ekaterina Komendantskaya, Lab Lead,
School of Mathematical and Computer Sciences, HWU. Email: ek19@hw.ac.uk Ext: 8283

Avatar
Dr Rob Stewart, Assistant Professor in Computer Science, School of Mathematical and Computer Sciences, HWU. Email: R.Stewart@hw.ac.uk
Prof. Andrew Ireland, School of Mathematical and Computer Sciences, Email: a.ireland@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 Hans-Wolfgang Loidl, Associate Professor in Computer Science, School of Mathematical and Computer Sciences, HWU. Email: h.w.loidl@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 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 Lilia Georgieva,
Assistant Professor in Computer Science, School of Mathematical and Computer Sciences, HWU. Email: L.Georgieva@hw.ac.uk
Dr Chengjia Wang, Assistant Professor in Computer Science, School of Mathematical and Computer Sciences, HWU. Email: Chengjia.Wang@hw.ac.uk
Dr Marko Doko, Assistant Professor in Computer Science, School of Mathematical and Computer Sciences, HWU. Email: M.Doko@hw.ac.uk

LAIV Research Assistants:

Matthew Daggitt, RA, School of Mathematical and Computer Sciences, HWU. Email: m.daggitt@hw.ac.uk Researcher in the EPSRC project AISEC: AI Secure and Explainable by Construction (HWU)
Luca Arnaboldi, RA, Informatics, Edinburgh University. Email: luca.arnaboldi@ed.ac.uk Researcher in the EPSRC project AISEC: AI Secure and Explainable by Construction
Yuhui Lin, RA, Heriot-Watt University. 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
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.
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:

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

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
Fraser Garrow,
PhD student, School of Mathematical and Computer Sciences, HWU.
Email: fg28@hw.ac.uk
Research topic: Evolutionary Algorithms For Program Generation
Supervisor: Michael Lones
Remi Desmartin,
PhD student, School of Mathematical and Computer Sciences, HWU.
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 and Rieser
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)
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
Natalia Slusarz,
PhD student, School of Mathematical and Computer Sciences, HWU. Email: nds1@hw.ac.uk Research topic: Verification of Neural Networks
Supervisors: Komendantskaya and Stewart
Aina Centelles Tarres,
PhD student, School of Mathematical and Computer Sciences, HWU. Email: ac2009@hw.ac.uk Research topic: nominal Techniques for Neural Network Verification
Supervisors: Gabbay and Komendantskaya

LAIV MSc Project Students:

Henri-Louis Boisvert. MSc dissertation topic: Reinforcement Learning for Autonomous Cars. Supervisors: E.Komendantskaya and L.Arnaboldi

Youssef Bonnaire. MSc dissertation topic: GANS for LIDARS. Supervisors: E.Komendantskaya and M.Casadio

Assiya Chiguyer. MSc dissertation topic: Explainable AI . Supervisors: E.Komendantskaya and N.Slusarz

Sinead Donnelly. MSc dissertation topic: Modelling and Verifying Dynamic Systems in KyYmaera. Supervisors: M.Daggitt and E.Komendantskaya

Haorang Hong. MSc dissertation topic: Autonomous Racing. Supervisors: Y.Lin and E.Komendantskaya

Samuel Moses. MSc dissertation topic: Sensors in Autonomous driving. Supervisors: E.Komendantskaya and Y.Lin

LAIV BSc Project Students:

Artur Kulikov, Hons Project topic: Modelling Autonomous Cars. Supervisors: Y. Lin and E.Komendantskaya

LAIV Friends and Collaborators:

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
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
Mark Lawson, Mathematics Department, Heriot-Watt University. Topic of Collaboration: Mathematical Logic.
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
Joe Wells, ULTRA group, Heriot-Watt University.
Topic of research collaboration: Verification of AI Planning
Grant Passmore, Imandra.AI. Topic of Collaboration: Formalisation of Neural Networks
Filip Sieczkowski, Heriot-Watt University.
Topic of research collaboration: Types and Programming Languages

LAIV Alumini:

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