Rate My Professor Edoardo Manino

Edoardo Manino is a Lecturer in AI Security in the Department of Computer Science at the University of Manchester. He is part of the Systems and Software Security group and focuses on automated verification of neural networks. His background is in Bayesian machine learning, for which he was awarded a PhD from the University of Southampton in 2020. He has published on topics including theoretical machine learning, software testing, algorithmic game theory, multi-agent reinforcement learning, and network science. Notable publications include Certified Error Analysis of Homomorphically Encrypted Neural Networks in 2025, ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction in 2025, GPT, But Backwards: Exactly Inverting Language Model Outputs in 2025, Montague semantics and modifier consistency measurement in neural language models in 2025, and Neural Network Verification is a Programming Language Challenge in 2025. He has received a Best Paper Award in 2024 and is accepting PhD students.

Professional Email: null