Biography:Alessio Lomuscio
Alessio Lomuscio | |
|---|---|
| Alma mater | University of Birmingham Polytechnic University of Milan |
| Awards | ACM Distinguished Member (2020)[1] Fellow of the European Association for Artificial Intelligence[2] |
| Scientific career | |
| Fields | Verification of Multi-Agent Systems and Autonomous Systems |
| Institutions | Imperial College London |
| Thesis | Knowledge Sharing among Ideal Agents (1999) |
| Doctoral advisor | Mark Ryan |
| Website | https://www.doc.ic.ac.uk/~alessio |
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.
Education and academic career
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
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
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
- ↑ "ACM Recognizes 2020 Distinguished Members for Contributions that Propel the Digital Age". https://awards.acm.org/award-recipients/lomuscio_7574064.
- ↑ 2.0 2.1 "EurAi Fellows". https://www.eurai.org/award/fellows.
- ↑ "Home - Professor Alessio Lomuscio". https://www.imperial.ac.uk/people/a.lomuscio.
- ↑ 4.0 4.1 "Symbolic model checking for multi-agent systems". https://www.cs.ox.ac.uk/seminars/1258.html.
- ↑ Lomuscio, Alessio (1999) (in en). Knowledge Sharing among Ideal Agents. https://etheses.bham.ac.uk/id/eprint/514.
- ↑ "Can autonomous machines be trusted?". https://www.imperial.ac.uk/news/134366/can-autonomous-machines-trusted/.
- ↑ 7.0 7.1 "Imperial academic receives Chair in Emerging Technologies". https://www.imperial.ac.uk/news/185656/imperial-academic-receives-chair-emerging-technologies/.
- ↑ "SEFM 2022 | Keynote Speakers" (in en). https://sefm-conference.github.io/2022/keynotespeaker.html.
- ↑ "VAS Group | Home" (in en). https://vas.doc.ic.ac.uk.
- ↑ "Publications | Assured Autonomy Tools Portal" (in en). https://assured-autonomy.org/publications.
- ↑ "People - Safe & Trusted AI" (in en). https://safeandtrustedai.org/people/.
- ↑ "SAIS Team Members" (in en). https://secure-ai-assistants.github.io/people/.
- ↑ Lomuscio, Alessio; Qu, Hongyang; Raimondi, Franco (2009). "MCMAS: A Model Checker for the Verification of Multi-Agent Systems". Computer Aided Verirication (CAV 2009). Springer, Berlin, Heidelberg. doi:10.1007/978-3-642-02658-4_55. https://link.springer.com/chapter/10.1007/978-3-642-02658-4_55.
- ↑ Kouvaros, Panagiotis; Lomuscio, Alessio (2021). "Towards Scalable Complete Verification of ReLU Neural Networks via Dependency-based Branching". International Joint Conference on Artificial Intelligence (IJCAI-21). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2021/364. https://doi.org/10.24963/ijcai.2021/364.
- ↑ Henriksen, Patrick; Lomuscio, Alessio (2021). "DEEPSPLIT: An Efficient Splitting Method for Neural Network Verification via Indirect Effect Analysis". International Joint Conference on Artificial Intelligence (IJCAI-21). International Joint Conferences on Artificial Intelligence Organization. doi:10.24963/ijcai.2021/351. https://doi.org/10.24963/ijcai.2021/351.
- ↑ "Press Release - ACM Recognizes 2020 Distinguished Members For Contributions That Propel The Digital Age". https://awards.acm.org/binaries/content/assets/press-releases/2020/december/distinguished-members-2020.pdf.
 |  |
