World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
44
Citations
8997
World Ranking
7525
National Ranking
449

Research.com Recognitions

  • 2020 - ACM Distinguished Member

Overview

Alessio Lomuscio is a researcher affiliated with Imperial College London in the United Kingdom, specializing in computer science with a primary focus on artificial intelligence. Their scholarly output spans key areas such as adversarial robustness in machine learning, formal methods in verification, neural networks and applications, explainable artificial intelligence, multi-agent systems and negotiation, advanced neural network applications, and machine learning algorithms.

Their research contributions include publications in prominent venues, highlighting a spectrum of topics within artificial intelligence and verification disciplines. Some notable recent papers are:

  • Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis, 2020, Proceedings of the AAAI Conference on Artificial Intelligence
  • Formal Verification of Neural Agents in Non-Deterministic Environments, 2021, Autonomous Agents and Multi-Agent Systems
  • Verification of Multi-Agent Systems with Public Actions Against Strategy Logic, 2020, Artificial Intelligence
  • Repairing Misclassifications in Neural Networks Using Limited Data, 2022, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing
  • Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications, 2022, Journal of Artificial Intelligence Research

The frequent publication venues for Lomuscio's work include:

  • Proceedings of the AAAI Conference on Artificial Intelligence
  • arXiv (Cornell University)
  • Artificial Intelligence
  • Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing
  • Journal of Artificial Intelligence Research

Lomuscio collaborates regularly with a set of co-authors, contributing collectively to multiple research projects. Their most frequent collaborators are:

  • Panagiotis Kouvaros
  • Patrick Henriksen
  • Yang Zheng
  • Benedikt Brückner
  • Francesco Belardinelli

Their research broadly covers the following fields and subfields of study:

  • Computer Science
  • Artificial Intelligence
  • Computational Theory and Mathematics
  • Computer Vision and Pattern Recognition
  • Software
  • Electrical and Electronic Engineering

Within these domains, the main topics of Lomuscio's work focus on:

  • Adversarial Robustness in Machine Learning
  • Formal Methods in Verification
  • Neural Networks and Applications
  • Explainable Artificial Intelligence (XAI)
  • Multi-Agent Systems and Negotiation
  • Advanced Neural Network Applications
  • Machine Learning and Algorithms

In 2020, Lomuscio was recognized as an ACM Distinguished Member.

Best Publications

  • Automated Negotiation: Prospects, Methods and Challenges

    N. R. Jennings;P. Faratin;A. R. Lomuscio;S. Parsons

  • A Classification Scheme for Negotiation in Electronic Commerce

    Alessio Lomuscio;Michael Wooldridge;Nicholas R. Jennings

  • MCMAS: A Model Checker for the Verification of Multi-Agent Systems

    Alessio Lomuscio;Hongyang Qu;Franco Raimondi

  • An approach to reachability analysis for feed-forward ReLU neural networks.

    Alessio Lomuscio;Lalit Maganti

  • Verifying epistemic properties of multi-agent systems via bounded model checking

    W. Penczek;A. Lomuscio

  • MCMAS: an open-source model checker for the verification of multi-agent systems

    Alessio Lomuscio;Hongyang Qu;Franco Raimondi

  • Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

    Franco Raimondi;Alessio Lomuscio

  • MCMAS: a model checker for multi-agent systems

    Alessio Lomuscio;Franco Raimondi

  • Deontic interpreted systems

    Alessio Lomuscio;Marek J. Sergot

  • Formalisms for multi-agent systems

    Mark d'Inverno;Michael Fisher;Alessio R. Lomuscio;Michael Luck

  • Towards verifying contract regulated service composition

    Alessio Lomuscio;Hongyang Qu;Monika Solanki

  • Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis

    Elena Botoeva;Panagiotis Kouvaros;Jan Kronqvist;Alessio Lomuscio

  • Partial Order Reductions for Model Checking Temporal-epistemic Logics over Interleaved Multi-agent Systems

    Alessio Lomuscio;Wojciech Penczek;Hongyang Qu

  • Model checking knowledge, strategies, and games in multi-agent systems

    Alessio Lomuscio;Franco Raimondi

  • MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications

    Petr Čermák;Alessio Lomuscio;Fabio Mogavero;Aniello Murano

  • On the complexity of practical ATL model checking

    Wiebe van der Hoek;Alessio Lomuscio;Michael Wooldridge

  • Verification of Multiagent Systems via Unbounded Model Checking

    Magdalena Kacprzak;Alessio Lomuscio;Wojciech Penczek

  • An abstraction technique for the verification of artifact-centric systems

    Francesco Belardinelli;Alessio Lomuscio;Fabio Patrizi

  • Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation

    Franco Raimondi;Alessio Lomuscio

  • Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems

    Ana Bazzan;Michael Huhns;Alessio Lomuscio;Paul Scerri

  • Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search.

    Patrick Henriksen;Alessio R. Lomuscio

  • Towards model checking interpreted systems

    A. Lomuscio;F. Raimondi;M. J. Sergot

Frequent Co-Authors

Michael Wooldridge
Michael Wooldridge University of Oxford
Marek Sergot
Marek Sergot Imperial College London
Mark Ryan
Mark Ryan University of Birmingham
Moshe Y. Vardi
Moshe Y. Vardi Rice University
Giuseppe De Giacomo
Giuseppe De Giacomo Sapienza University of Rome
Nicholas R. Jennings
Nicholas R. Jennings Loughborough University
Wiebe van der Hoek
Wiebe van der Hoek University of Liverpool
Stefan Edelkamp
Stefan Edelkamp Charles University
Maarten de Rijke
Maarten de Rijke University of Amsterdam
Michael Fisher
Michael Fisher University of Manchester

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens doors to diverse online degrees and career opportunities. For those interested in cybersecurity, an accelerated cyber security program can help you fast-track your career and meet industry demands quickly.

In addition, the growing intersection of technology and business makes fields like project management attractive for computer science students. Consider a cheap online construction management degree if you’re interested in managing large-scale tech-driven projects.

Technology is reshaping fields beyond traditional tech roles. A cheap criminal justice degree can lead to emerging roles in digital forensics and cybersecurity within law enforcement.

Finally, combining computing skills with an online accounting degree will prepare you for careers in fintech, data analysis, or auditing—fields where computer science expertise is increasingly valued.

Each of these programs can be pursued flexibly online, allowing you to align your degree with your career goals in the evolving world of technology.

Best Scientists Citing Alessio Lomuscio

Trending Scientists

Recently Published Articles