Dr. Francesco Leofante has joined the SAIL (formerly VAS) group as postdoctoral researcher after completing his PhD with the Theory of Hybrid Systems group at RWTH Aachen University and the AIMS Laboratory at the University of Genoa.

He will be working on verification of neural systems, with funding from the Assured Autonomy project of DARPA. Welcome!