OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
Alessio Lomuscio
Full Professor, Computing, Imperial College London
Joined
July 2019
Names
Alessio Lomuscio
(Preferred)
,
Alessio R. Lomuscio
Emails
****@imperial.ac.uk
(Confirmed)
Personal Links
Homepage
Google Scholar
DBLP
Career & Education History
Full Professor
Computing,
Imperial College London
(imperial.ac.uk)
2006
–
Present
Advisors, Relations & Conflicts
PhD Advisor
Mark Ryan
1996
–
1998
Expertise
Certified Learning
,
Adversarial Learning
Present
Robustness
2018
–
Present
Verification of neural networks and Adversarial attacks
2017
–
Present
Verification
2002
–
Present
Multi-Agent Systems
1996
–
Present
Publications
A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification
Vasileios Manginas
,
Nikolaos Manginas
,
Edward Stevinson
,
Sherwin Varghese
,
Nikos Katzouris
,
Georgios Paliouras
,
Alessio Lomuscio
NeSy 2025 - Phase 2 Oral
Readers:
Everyone
Robustness to Perturbations in the Frequency Domain: Neural Network Verification and Certified Training
Harleen Hanspal
,
Alessandro De Palma
,
Alessio Lomuscio
Proceedings of the Winter Conference on Applications of Computer Vision (WACV) Workshops, 2025
Readers:
Everyone
Scalable Neural Network Geometric Robustness Validation via Hölder Optimisation
Yanghao Zhang
,
Panagiotis Kouvaros
,
Alessio Lomuscio
NeurIPS 2025 poster
Readers:
Everyone
Learning Robust XGBoost Ensembles for Regression Tasks
Atri Vivek Sharma
,
Panagiotis Kouvaros
,
Alessio Lomuscio
UAI 2025 Poster
Readers:
Everyone
Uncertainty-Aware Counterfactual Explanations using Bayesian Neural Nets
Ben Batten
,
Francesco Leofante
,
Nicola Paoletti
,
Alessio Lomuscio
,
Mehran Hosseini
Submitted to ICLR 2025
Readers:
Everyone
Expressive Losses for Verified Robustness via Convex Combinations
Alessandro De Palma
,
Rudy Bunel
,
Krishnamurthy Dj Dvijotham
,
M. Pawan Kumar
,
Robert Stanforth
,
Alessio Lomuscio
ICLR 2024
Readers:
Everyone
Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
Ben Batten
,
Mehran Hosseini
,
Alessio Lomuscio
AISTATS 2024
Readers:
Everyone
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
Ben Batten
,
Yang Zheng
,
Alessandro De Palma
,
Panagiotis Kouvaros
,
Alessio Lomuscio
CoRR 2024
Readers:
Everyone
Tightening the Evaluation of PAC Bounds Using Formal Verification Results
Thomas Walker
,
Alessio Lomuscio
CoRR 2024
Readers:
Everyone
View all 256 publications
Co-Authors
Alessandro De Palma
Andreas Griesmayer
Andreas Martin
Andreea Kevorchian
Andrew J. I. Jones
Andrew V. Jones
Andrzej Zbrzezny
Aniello Murano
Antonio Chella
Antonis C. Kakas
Artur Niewiadomski
Atri Vivek Sharma
Bastien Maubert
Ben Batten
Ben Strulo
Benedikt Brückner
Benjamin Aminof
Blake Edwards
Bozena Wozna
Calvin Chung
Carlos Cinelli
Charles Pecheur
Christian F. Baumgartner
Clark W. Barrett
Daniel Rueckert
View all 138 co-authors