Symbolic model checking for multi-agent systems
Speaker bioAlessio Lomuscio is Professor in logic for multi-agent systems in the Department of Computing, Imperial College London, where he leads the VAS (verification of autonomous systems) research group. He currently holds an EPSRC Leadership Fellowship. He received a PhD in Computer Science from the University of Birmingham in 1999 and a Laurea in Electronic Engineering from Politecnico di Milano in 1995. Before joining Imperial he was Lecturer at King's College London and Senior Lecturer at University College London. His research interests concern the specification and verification of multi-agent systems by means of techniques based on computational logic. In particular he has made theoretical contributions in the area of logic for multi-agent systems (including studying the completeness, decidability and complexity of several temporal-epistemic formalisms) and has put forward several symbolic model checking techniques for the verification of agent-based systems. he has applied these techniques to the verification of a range of applications including web-services, communication protocols, and security protocols.
He has published over 120 research papers on the topics above. He sits on the editorial board of the Journal of Artificial Intelligence Research; in 2014 he served as Programme co-Chair for AAMAS 2014, the leading conference on multi-agent systems.