Natasha Sharygina

Lab Director

Full Professor

natasha.sharygina@usi.ch

+41 (0)58 66 64299

Antti Hyvarinen

Postdoctoral Fellow

antti.hyvaerinen@usi.ch

+41 (0)58 66 64291

Sepideh Asadi

Ph.D. Student

sepideh.asadi@usi.ch

+41 (0)58 66 64312

Martin Blicha

Ph.D. Student

martin.blicha@usi.ch

+41 (0)58 66 64312

Rodrigo Otoni

Ph.D. Student

rodrigo.benedito.otoni@usi.ch

+41 (0)58 66 64455 ext. 2342

Masoud Asadzadeh

Programmer

seyedmasoud.asadzadeh@usi.ch

+41 (0)58 66 64312

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