Alessio R. Lomuscio

Research Projects

• 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.