Imperial College London


Faculty of EngineeringDepartment of Computing

Research Associate



f.leofante Website




575Huxley BuildingSouth Kensington Campus





Hi there!

I am a research associate in the Verification of Autonomous Systems group at Imperial College, working with Alessio Lomuscio. I am also affiliated with the Centre for Explainable Artificial Intelligence at Imperial. My research concerns the verification of learning-enabled systems within the DARPA Assured Autonomy Program.

Before joining Imperial, 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 personal web page to get a better picture of what I’ve done professionally so far.



Henriksen P, Leofante F, Lomuscio A, Repairing misclassifications in neural networks using limited data, SAC '22

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

Johnson TT, Lopez DM, Musau P, et al., 2020, ARCH-COMP20 category report: Artificial intelligence and neural network control systems (AINNCS) for continuous and hybrid systems plants, Pages:107-139

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

Guidotti D, Leofante F, Pulina L, et al., 2020, Verification of Neural Networks: Enhancing Scalability Through Pruning., IOS Press, Pages:2505-2512

More Publications