Imperial College London


Faculty of EngineeringDepartment of Computing

Imperial College Research Fellow



f.leofante Website




454Huxley BuildingSouth Kensington Campus





I am a researcher affiliated with the Centre for Explainable AI and the Computational Logic and Argumentation group at Imperial College. My research largely focuses on safe & explainable AI, with special emphasis on contrastive explanations and their robustness. My work is currently supported by an Imperial College Research Fellowship.

Before, I was research associate in the Verification of Autonomous Systems group at Imperial College. I obtained a PhD in Computer Science from RWTH Aachen University and UNIGE with a thesis on AI Planning.

You might want to check out my CV to get a better picture of what I’ve done professionally so far.



Jiang J, Leofante F, Rago A, et al., Formalising the Robustness of Counterfactual Explanations for Neural Networks, The 37th AAAI Conference on Artificial Intelligence

Schupp S, Leofante F, Behr L, et al., 2022, Robot swarms as hybrid systems: modelling and verification, Open Publishing Association, Pages:61-77, ISSN:2075-2180

Henriksen P, Leofante F, Lomuscio A, 2022, Repairing misclassifications in neural networks using limited data, SAC '22, Pages:1031-1038

Kouvaros P, Kyono T, Leofante F, et al., 2021, Formal analysis of neural network-based systems in the aircraft domain, International Symposium on Formal Methods, Springer International Publishing, Pages:730-740, ISSN:0302-9743

Leofante F, Giunchiglia E, Abraham E, et al., 2021, Optimal Planning Modulo Theories, 29th International Joint Conference on Artificial Intelligence, IJCAI-INT JOINT CONF ARTIF INTELL, Pages:4128-4134

More Publications