LAIV Members

This page lists LAIV members, students and friends. If you wish to become either or sign up for LAIV email, 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
Dr Ekaterina Komendantskaya,
Associate Professor in Computer Science, 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 Ext: 4183
Dr Lilia Georgieva,
Assistant Professor in Computer Science, School of Mathematical and Computer Sciences, HWU. Email: L.Georgieva@hw.ac.uk Ext: 8159
Prof. Andrew Ireland, School of Mathematical and Computer Sciences, Email: a.ireland.hw.ac.uk Ext: 3409
Dr Michael Lones, Associate Professor in Computer Science, School of Mathematical and Computer Sciences, HWU. Email: m.lones@hw.ac.uk Ext: 8434

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
Frantisek Farka, PhD student, School of Mathematical and Computer Sciences, HWU, Email: ffarka@gmail.com
Research topic: Proof Relevant Resolution and Type Inference

Daniel Kienitz, PhD student, School of Mathematical and Computer Sciences, HWU. Email: dk50@hw.ac.uk Research topic: Verification of Neural Networks
Alasdair Hill, PhD student, School of Mathematical and Computer Sciences, HWU. Email: ath7@hw.ac.uk Research topic: Verification of AI Planning languages

LAIV Friends and Collaborators:

Joe Wells, ULTRA group, Heriot-Watt University.
Topic of research collaboration: Verification of AI Planning
Ron Petrick, Edinburgh Center for Robotics and Heriot-Watt University.
Topic of research collaboration: Verification of AI Planning
Henning Basold, ENS Lyon.
Topic of research collaboration: Coinduction
Manuel Maarek, Security Group, Heriot-Watt University. Topic of research collaboration: Security

LAIV Former Students:

Pascal Bacchus, MSc student, School of Mathematical and Computer Sciences, Heriot-Watt University. Research topic: Performance Metrics for Approximate Deep Learning on Programmable Hardware
Pierre Le Hen, MSc student, School of Mathematical and Computer Sciences, Heriot-Watt University.
Research topic: Verification of Neural Networks: DLV
Yue Li, PhD student, School of Mathematical and Computer Sciences, HWU, Email: yl55@hw.ac.uk
Research topic: Coinduction in Logic Programming
Dmitry Rozplokhas, JetBrains MSc student: visiting student at LAIV. Topic of research collaboration: Coinduction in relational programming