Francesco Leofante

Francesco Leofante is an Assistant Professor in Computing at Imperial College London, Department of Computing. His research interests include AI explainability, AI safety, alignment, and automated planning. He can be contacted via email at f.leofante@imperial.ac.uk or through his profile page at https://profiles.imperial.ac.uk/f.leofante.

Francesco Leofante is a researcher at Imperial College London, specializing in Artificial Intelligence. His work focuses on the verification and robustness of neural networks, counterfactual explanations, and formal methods for AI systems. He has contributed to advancing automated verification techniques for neural networks, enhancing scalability through pruning, and improving the reliability of machine learning models. His research also explores the integration of formal verification in domains such as robotics, logistics, and aircraft systems. Leofante's publications address challenges in ensuring the safety, transparency, and accountability of AI technologies, particularly in complex and safety-critical environments.