Regular biography
Dr. Edoardo Manino is a Lecturer in AI Security in the Department of Computer Science at The University of Manchester. His research focuses on automated verification of neural networks, with a background in Bayesian machine learning. He holds a PhD from the University of Southampton, awarded in 2020. Manino's work spans various areas including theoretical machine learning, software testing, algorithmic game theory, multi-agent reinforcement learning, and network science. He is part of the Systems and Software Security group and contributes to research initiatives such as the Digital Futures Institute for Data Science and AI.
Scholar-generated biography
Edoardo Manino is a researcher at the University of Manchester with a focus on formal methods and verification techniques for artificial intelligence and software systems. His work explores the intersection of formal verification, neural network validation, and concurrent program analysis. Manino's research includes developing tools for verifying quantized neural networks using SMT-based model checking, as well as improving the efficiency of data collection for crowdsourced classification tasks. He has contributed to several verification competitions, emphasizing the importance of systematic and compositional approaches in deep learning and software verification. His research also addresses challenges in automated repair of AI code and the verification of hardware-level Bayesian inference systems.