People

Lab Members


Alumni


Matteo Marescotti

Ph.D. Student

(2015 - 2020)

now a Software Engineer at Facebook Research, London, UK

Leonardo Alt

Ph.D. Student

(2013 - 2017)

now a Formal Verification Scientist at Ethereum Foundation

Grigory Fedyukovich

Ph.D. Student

(2010 - 2015)

now an Assistant Professor at Florida State University, USA

Francesco Alberti

Ph.D. Student

(2010 - 2015)

now a  head of Research and Development of EOLO Inc.

Simone Fulvio Rollini

Ph.D. Student

(2009 - 2014)

now a Senior Research Engineer at Reytheon Technologies

Ondrej Sery

Postdoctoral Fellow

(2010 - 2013)

now a Senior software engineer at Pure Storage, Czech Republic

Aliaksei Tsitovich

Ph.D. Student

(2006 - 2011)

now a Director at BrightInsight, Zurich

Roberto Bruttomesso

Postdoctoral Fellow

(2007 - 2011)

Software Engineer in Cybersecurity at Nozomi Networks, Italy

Stefano Tonetta

Postdoctoral Fellow

(2006 - 2008)

now a researcher at Fondazione Bruno Kessler, Trento, Italy

Chiara Braghin

Postdoctoral Fellow

(2006 - 2008)

now a professor at Università degli Studi di Milano