Natasha Sharygina

Lab Director

Full Professor

Email

Martin Blicha

Postdoctoral Fellow

Email

Tomáš Kolárik

Postdoctoral Fellow

Email

Konstantin Britikov

Ph.D. Student

Email

Faezeh Labbaf

Ph.D. Student

Email

Rodrigo Otoni

Ph.D. Student

(2018-2023)

now Postdoc at USI

Email

Sepideh Asadi

Ph.D. Student

(2016-2023)

now Research Engineer at Validas AG

Antti Hyvarinen

Postdoctoral Fellow

(2012 - 2022)

now Senior Researcher at Certora

Masoud Asadzadeh

Programmer

(2021 - 2022)

now Programmer at ValidasAG, Munich, Germany

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