 | Jacques Fleuriot | My main field of research lies in AI Modelling, which spans areas such as interactive theorem proving, formal verification, process modelling, and machine learning and Explainable AI techniques applied to healthcare and other complex domains. |
 | Petros Papapanagiotou | AI for collaborative workflow management. This includes formal verification, process modelling, analysis and optimisation, IoT, event-based and distributed systems, and social machines. |
 | Luna De Ferrari
| Applied ML (broad and deep) and statistics for NLP and protein function prediction. Interested in DevOps, agile practices and software development coordination. |
 | Guillermo Romero Moreno
| Interdisciplinary research in AI, ML, and network science applied to various areas, such as politics, health, biology, robotics, etc. |
 | Ricardo Contreras
| Monitoring of dynamic compositions and data processing with focus on older adults. |
 | Imogen Morris | Formalising mathematical proofs, in particular from Euler's Introductio, with the aid of the proof assistant Isabelle/HOL. |
 | Jake Palmer | Formalising and verifying voting methods using interactive theorem proving in Isabelle/HOL. |
 | Mark Chevallier | Formal verification of machine learning algorithms and their properties. |
 | Jorge Gaete Villegas | Explainable AI for healthcare. |
 | James Vaughan | Applications of ML and Network Theory in Automated Theorem Proving; Business Process Modelling and IoT. |
 | Filip Smola | Interactive theorem proving and formal verification, with application to automatic differentiation, category theory and process calculi. |
 | Jiawei Zheng | Uncertainty in complex event processing, process mining, and conformance checking. |
 | Ramon Fernández Mir | Interactive theorem proving and convex optimisation applied to hybrid systems verification. |
 | Lauren DeLong | Artificial Intelligence and medicine/healthcare. |
 | Zonglin Ji | Artificial Intelligence for the care of older people. |
 | Richard Schmoetten | Formalising Haag-Kastler Nets in Higher-order Logic. |
