USI Verification
Lab
Current Members
Alumni
-
Matteo Marescotti,
Ph.D. 2015
-
2020,
now a
Researcher
at
Facebook
Research London
-
Leonardo
Alt,
Ph.D. 2013
-
2017,
now a
Formal
Verification
Scientist
at
Ethereum Foundation
-
Grigory
Fedyukovich,
Ph.D. 2010
-2015,
now
an
Assistant
Professor
at Florida State University, USA
-
Francesco
Alberti,
Ph.D. 2010
-
2015,
now a
head
of
Research
and
Development
of
EOLO Inc.
-
Simone Rollini,
Ph.D. 2009
-
2014,
now a
Senior
Research
Engineer
at
Raytheon Technologies
-
Aliaksei Ttsitovich,
Ph.D. 2006
-
2011,
now a
Director
at
BrightInsight, Zurich
-
Roberto Bruttomesso,
Postdoc,
2007 - 2011, now a
Software
Engineer in
Cybersecurity
at
Nozomi
Networks, Italy
-
Ondrej Sery,
Postdoc,
2010 - 2013, now a
Senior
Software
Engineer
at
Pure
Storage,
Czech Republic
-
Stefano
Tonetta,
Postdoc,
2006 -
2008,
now a
Researcher
at
Fondazione
Bruno
Kessler,
Trento, Italy