Alessio R. Lomuscio

Research Projects

• European Commission H2020 RIA "EVENFLOW: Robust Learning and Reasoning for Complex Event Forecasting". 2022-2025.
  
• EPSRC project "SAIS: Secure AI assistantS" (joint with King's College London). 2020-2023.
  
• Royal Academy of Engineering Research Project "Verification of neural networks via dependency-analysis". 2019-2020.
  
• Centre for Doctoral Training in Safe and Trusted Artificial Intelligence (joint with King's College London). 2018-2026.
  
• Royal Academy of Engineering Research Project "Verification-based Learning for Autonomous Systems". 2018-2019.
  
• Royal Academy of Engineering Chair in Emerging Technologies. 2018-2028.
  
• DARPA (Assured Autonomy solicitation). "Verification of Neural Systems". Research Associates: Panagiotis Kouvaros, Elena Botoeva, Francesco Leofante, Yang Zheng. 2018-2022.
  
• Royal Society International Exchanges Scheme. Project Partner: Nello Murano (University of Naples). 2016-2018.
• European Commission CAR H2020. "LV-Pri20: Logic-based verification of privacy-preservation in Europe's 2020 ICT". 2015-2017. Postdoctoral Research Fellow: Dr Ioana Boureanu Carlson.
• European Commission Marie Curie FP7. "VAPA: Verification Approaches for Planning in Agent programming languages". 2012-2014.
• EPSRC leadership fellowship "Trusted Autonomous Systems". 2011-2016.
• European Commission IST Strep ACSI (Artifact-Centric Service Interoperability). 2010-2013.
• Royal Society inter-Europe collaborative project. Project Partner: Giuseppe De Giacomo (University of Rome La Sapienza, Rome). 2010-2012.
• European Commission Marie Curie FP7. "DiVerMAS: Distributed Systems Verification by MAS-based Model Checking". Postdoctoral research fellow: Dr Andreas Griesmayer. 2010-2012.
• European Commission Marie Curie FP7. "FOMMAS: First-order Modal Logics for the Specification and Verification of Multi-Agent Systems". Postdoctoral research fellow: Dr Francesco Belardinelli. 2009-2011.
• EPSRC responsive mode research project "Methods for reliability and control for autonomous underwater vehicles". Research associate: Dr Jonathan Ezekiel. 2007-2010.
• EPSRC responsive mode research project "Verification of security protocols: a multiagent systems approach". Research Associates: Dr Maciej Szreter, Dr Mika Cohen. PhD Student: Miss Ioana Boureanu. 2007-2010.
• BT-funded research project "verification of networked systems". UCL Adastral Park. Research Associate: Dr Peng Wu. 2007-2010.
• Royal Society inter-Europe collaborative project. Project Partner: Dr Francesco Belardinelli (Scuola Normale Superiore, Pisa). 2007-2009.
• European Commission IST Strep "Contract" (Contract based e-Business System Engineering for robust, verifiable Cross-Organsiational Business Applications). Project partners: King's College London, Universitat Politecnica de Catalunya, Technical University of Prague, Fujitsu EST. Research Associates: Dr Hongyang Qu, Dr Monika Solanki. PhD student: Mr Francesco Russo. 2006-2009.
• Royal Society incoming visiting fellowship "First order modal logic for multi-agent systems specifications". Research Assistant: Dr Francesco Belardinelli (Scuola Normale Superiore, Pisa). 2006.
• Royal Society inter-Europe collaborative project "Verification of security protocols: a multi-agent systems approach". Project Partner: Prof Wojciech Penczek, (Ipipan, Warsaw). 2005-2007.
• EPSRC responsive mode project "Model checking multi-agent systems". Research Assistant: Dr Bozena Wozna. 2004-2006.
• EPSRC Case project "Verification of multi-agent systems via OBDDs". PhD Student: Dr Franco Raimondi. 2004-2006.