Dr. 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, a topic he got awarded a PhD from the University of Southampton in 2020. Throughout his research career, he published on a wide number of topics, including theoretical machine learning, software testing, algorithmic game theory, multi-agent reinforcement learning and network science.