Alessio Lomuscio is a professor of Safe Artificial Intelligence at the Department of Computing at Imperial College London.[3] His research focuses on the verification of autonomous systems, specifically on providing formal safety guarantees for both Multi-agent systems as well as Machine Learning-enabled systems.

Alessio Lomuscio
Alma materUniversity of Birmingham
Polytechnic University of Milan
AwardsACM Distinguished Member (2020)[1]
Fellow of the European Association for Artificial Intelligence[2]
Scientific career
FieldsVerification of Multi-Agent Systems and Autonomous Systems
InstitutionsImperial College London
Thesis Knowledge Sharing among Ideal Agents (1999)
Doctoral advisorMark Ryan
Websitehttps://www.doc.ic.ac.uk/~alessio

Education and academic career

edit

Alessio Lomuscio grew up in Milan and obtained a Laurea in Electronic Engineering from the Polytechnic University of Milan in 1999.[4] Afterwards, he moved to the University of Birmingham for his Ph.D. on "Knowledge Sharing among Ideal Agents" under the supervision of Mark Ryan, which he submitted in 1999.[5] During his Ph.D., he was supported by a grant of the university's School of Computer Science. He worked as a lecturer at King's College London and a senior lecturer at University College London before joining Imperial in 2006.[6]

Research

edit

In 2018, Lomuscio was awarded a Royal Academy of Engineering Chair in Emerging Technologies for researching verification techniques for autonomous systems and Artificial Intelligence.[7] He is the head of the Verification of Autonomous Systems (VAS) group at Imperial College London where he leads research efforts that aim to develop methods for verifying the safety of Multi-agent systems.[8] Further research interests include methods for the safety checking of swarm systems as well as Reinforcement Learning-based agents and the development and advancement of formal verification algorithms for Neural Networks.[9] The group has a number of strong connections with industry and research councils, specifically the Defense Advanced Research Projects Agency's Assured Autonomy program as well as the Centre for Doctoral Training in Safe and Trusted AI.[10][11] Further projects together with industry and research institutions currently investigate safe algorithms for event forecasting and the safety of AI-enabled personal assistancy systems.[12]

He has co-authored a number of verification and Model Checking toolkits, including:

  • MCMAS (Symbolic Model Checking for Multi-Agent Systems)[4][13]
  • VENUS (Mixed Integer Linear Programming-enabled verification of neural networks with ReLU activation functions)[14]
  • VeriNet (Symbolic Interval Propagation-based verification of neural networks with ReLU activation functions)[15]

Awards

edit

Alessio Lomuscio is a Fellow of the European Association for Artificial Intelligence.[2] In 2020 he was awarded the title of a Distinguished Member of the Association for Computing Machinery for his outstanding scientific contributions to Computing.[16] In 2018 he was awarded one out of ten highly prestigious Royal Academy of Engineering Chairs in Emerging Technology [7]

References

edit
  1. ^ "ACM Recognizes 2020 Distinguished Members for Contributions that Propel the Digital Age".
  2. ^ a b "EurAi Fellows".
  3. ^ "Home - Professor Alessio Lomuscio".
  4. ^ a b "Symbolic model checking for multi-agent systems". cs.ox.ac.uk. Retrieved 2023-03-21.
  5. ^ Lomuscio, Alessio (1999). "Knowledge Sharing among Ideal Agents". {{cite journal}}: Cite journal requires |journal= (help)
  6. ^ "Can autonomous machines be trusted?". imperial.ac.uk. Retrieved 2023-03-12.
  7. ^ a b "Imperial academic receives Chair in Emerging Technologies".
  8. ^ "SEFM 2022 | Keynote Speakers". sefm-conference.github.io. Retrieved 2023-03-21.
  9. ^ "VAS Group | Home". doc.ic.ac.uk. Retrieved 2023-03-12.
  10. ^ "Publications | Assured Autonomy Tools Portal". assured-autonomy.org. Retrieved 2023-03-21.
  11. ^ "People - Safe & Trusted AI". safeandtrustedai.org. Retrieved 2023-03-21.
  12. ^ "SAIS Team Members". secure-ai-assistants.github.io. Retrieved 2023-03-21.
  13. ^ Lomuscio, Alessio; Qu, Hongyang; Raimondi, Franco (2009). "MCMAS: A Model Checker for the Verification of Multi-Agent Systems". Lecture Notes in Computer Science, vol 5643. Computer Aided Verirication (CAV 2009). Springer, Berlin, Heidelberg. doi:10.1007/978-3-642-02658-4_55.
  14. ^ Kouvaros, Panagiotis; Lomuscio, Alessio (2021). "Towards Scalable Complete Verification of ReLU Neural Networks via Dependency-based Branching". Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-21). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2021/364.
  15. ^ Henriksen, Patrick; Lomuscio, Alessio (2021). "DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis". Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-21). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2021/351.
  16. ^ "Press Release - ACM Recognizes 2020 Distinguished Members For Contributions That Propel The Digital Age" (PDF). awards.acm.org. Retrieved 2023-03-12.