Royal Academy of Engineering Chair in Emerging Technologies
Royal Academy of Engineering
Research on verification methods for establishing guarantees about autonomous and robotic systems incorporating machine learning.
Research programmes and projects
24 programmes and projects, listed by end year (latest first).
Centre for Doctoral Training in Safe and Trusted Artificial Intelligence
EPSRC / UKRI
Joint programme with King’s College London.
EVENFLOW — Robust Learning and Reasoning for Complex Event Forecasting
European Commission H2020 RIA
EU Horizon-funded research on robust learning and reasoning for complex-event forecasting, including formal verification of systems combining learning and symbolic reasoning.
DARPA Assured Autonomy — Verification of Neural Systems
DARPA
Research on mathematical methods and tools for verification of machine-learning systems.
Verification of neural networks via dependency-analysis
Royal Academy of Engineering
Verification-based Learning for Autonomous Systems
Royal Academy of Engineering
International Exchanges Scheme
Royal Society
Project partner: Nello Murano, University of Naples.
LV-Pri20: Logic-based verification of privacy-preservation in Europe’s 2020 ICT
European Commission CAR H2020
Trusted Autonomous Systems
EPSRC leadership fellowship
VAPA: Verification Approaches for Planning in Agent programming languages
European Commission Marie Curie FP7
ACSI: Artifact-Centric Service Interoperability
European Commission IST Strep
DiVerMAS: Distributed Systems Verification by MAS-based Model Checking
European Commission Marie Curie FP7
Inter-Europe collaborative project
Royal Society
Project partner: Giuseppe De Giacomo, University of Rome La Sapienza.
FOMMAS: First-order Modal Logics for the Specification and Verification of Multi-Agent Systems
European Commission Marie Curie FP7
Methods for reliability and control for autonomous underwater vehicles
EPSRC responsive mode
Verification of networked systems
BT-funded research project
UCL Adastral Park.
Verification of security protocols: a multiagent systems approach
EPSRC responsive mode
Inter-Europe collaborative project
Royal Society
Project partner: Francesco Belardinelli, Scuola Normale Superiore, Pisa.
Contract: Contract based e-Business System Engineering for robust, verifiable Cross-Organisational Business Applications
European Commission IST Strep
Verification of security protocols: a multi-agent systems approach
Royal Society inter-Europe collaborative project
Project partner: Wojciech Penczek, Institute of Computer Science, Polish Academy of Sciences.
First order modal logic for multi-agent systems specifications
Royal Society incoming visiting fellowship
Model checking multi-agent systems
EPSRC responsive mode
Verification of multi-agent systems via OBDDs
EPSRC CASE project