Edoardo Manino

Edoardo Manino is a Lecturer in AI Security at the University of Manchester's Department of Computer Science, part of the Systems and Software Security group. He holds a PhD in Bayesian machine learning from the University of Southampton (2020). His research focuses on automated verification of neural networks, theoretical machine learning, software testing, algorithmic game theory, multi-agent reinforcement learning, and network science.

Affiliations:
- Member of the Digital Futures Research Beacon and the Institute for Data Science and AI.
- Core contributor to the ESBMC model checker and related verification tools.

Research Trends: Recent work emphasizes secure AI systems, formal verification of neural networks, and adversarial inversion of language models. His 2025 publications address homomorphic encryption verification, concurrent software analysis, and linguistic consistency in neural models. The 2024 work includes tools for Arm architecture verification and generative AI inversion.

Awards:
- Best Paper Award (2024) for contributions to formal verification methodologies.

Collaborations: Extensive work with industry partners (e.g., Arm) and academic institutions on verification tools and AI security. Active in international conferences (SAIV, SAS, COLING).

Labs/Teams: Leads the Systems and Software Security group at Manchester, focusing on advancing AI safety and formal methods.