ÂÜÀòÂÒÂ×

Filippo Sestini is a Functional Software Engineer at Imandra since September 2023. Previously, Filippo served as a Teaching Assistant at the University of Nottingham from January 2019 to August 2022, where responsibilities included providing lab support, delivering tutorial sessions, and assessing coursework in programming and logic using languages such as Haskell, Lean, Python, and Agda. Filippo also gained experience as an intern at Miriade S.p.A. in June 2015, focusing on research and development of indoor positioning systems utilizing iBeacon technology. Educational qualifications include a Doctorate in Computer Science from the University of Nottingham, a Master’s degree in Computer Science from Università degli Studi di Padova, and a Bachelor’s degree in Computer Science from the same institution.