Research output per year
Research output per year
Personal profile
Overview
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.
Areas of expertise
- QA75 Electronic computers. Computer science
- QA76 Computer software
Research Highlights, Institutes and Platforms
- Digital Futures
- Institute for Data Science and AI
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being
Fingerprint
Dive into the research topics where Edoardo Manino is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A simpler method for calculating likelihood ratios in authorship verification
Barlow, S., Nini, A. & Manino, E., 23 Jun 2026.Research output: Contribution to conference › Abstract › peer-review
Open Access -
Bloom-wilt: Logit Tilting for Behaviour Elicitation in Automated LLM Auditing
Skapars, A. & Manino, E., 31 Aug 2026, (Submitted) arXiv, p. 1-28, 28 p.Research output: Preprint/Working paper › Preprint
File4 Downloads (Pure) -
Certified Error Analysis of Homomorphically Encrypted Neural Networks
Kern, P., Manino, E. & Sinz, C., 28 Oct 2025, AI Verification, International Symposium, SAIV 2025. Springer Cham, Vol. 15947. 156 p.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile66 Downloads (Pure) -
ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction (Competition Contribution)
Wu, T., Li, X., Manino, E., Sa Menezes, R., Gadelha, M. R., Xiong, S., Tihanyi, N., Petoumenos, P. & Cordeiro, L. C., 21 Jan 2025, (Accepted/In press) 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile13 Downloads (Pure) -
GPT, But Backwards: Exactly Inverting Language Model Outputs
Skapars, A., Manino, E., Sun, Y. & Cordeiro, L., 2025, (Unpublished) p. 1-16. 16 p.Research output: Contribution to conference › Paper › peer-review
File82 Downloads (Pure)
Prizes
-
File