Leonardo Alt

Since 2013 I am a PhD student at the Formal Verification and Security Lab, University of Lugano, Switzerland.
Before that I have completed my BSc and MSc at the Universidade Federal de Uberlandia in Minas Gerais, Brazil.
My full CV can be found here.