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 Beacons, Institutes and Platforms
- Digital Futures
- Institute for Data Science and AI
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
-
Certified Error Analysis of Homomorphically Encrypted Neural Networks
Kern, P., Manino, E. & Sinz, C., 10 Jul 2025, AI Verification, International Symposium, SAIV 2025.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile39 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
-
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
File23 Downloads (Pure) -
Montague semantics and modifier consistency measurement in neural language models
Silva De Carvalho, D., Manino, E., Rozanova, Y., Cordeiro, L. & Freitas, A., 19 Jan 2025, Procceedings of The 31st International Conference on Computational Linguistics: COLING 2025. Association for Computational Linguistics, p. 5515–5529Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access -
Neural Network Verification is a Programming Language Challenge
Cordeiro, L. C., Daggitt, M. L., Girard-Satabin, J., Isac, O., Johnson, T. T., Katz, G., Komendantskaya, E., Lemesle, A., Manino, E., Šinkarovs, A. & Wu, H., 1 May 2025, 34th European Symposium on Programming. Vafeiadis, V. (ed.). Springer Cham, Vol. 15694. p. 206–235Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access
Prizes
-
File