Research output per year
Research output per year
Personal profile
Overview
Dr. Edoardo Manino is a Research Associate 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 algorithmic game theory, multi-agent reinforcement learning, network science, crowdsourcing, analog computing and automated software testing.
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):
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 Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement⋆
Manino, E., Magri, B., Mustafa, M. A. & Cordeiro, L. C., 6 Jun 2023, (Accepted/In press) 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2023), July 17 - 18, 2023, Paris, France.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Downloads (Pure) -
Counterexample Guided Neural Network Quantization Refinement
Matos Jr, J. B. P., de Lima Filho, E. B., Bessa, I., Manino, E., Song, X. & Cordeiro, L. C., 13 Nov 2023, (Accepted/In press) In: IEEE Transactions on Computer - Aided Design of Integrated Circuits and Systems .Research output: Contribution to journal › Article › peer-review
File23 Downloads (Pure) -
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution)
Aljaafari, F., Shmarov, F., Manino, E., Menezes, R. & Cordeiro, L. C., 11 Feb 2023, (Accepted/In press) 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile13 Downloads (Pure) -
Towards Global Neural Network Abstractions with Locally-Exact Reconstruction
Manino, E., Bessa, I. & Cordeiro, L., 2023, In: Neural Networks.Research output: Contribution to journal › Article › peer-review
-
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
Aljaafari, F., Menezes, R., Manino, E., Shmarov, F., Mustafa, M. A. & Cordeiro, L., 18 Nov 2022, In: IEEE Access. 10, p. 121365 - 121384Research output: Contribution to journal › Article › peer-review
Open Access