Lab Member
| Natasha Sharygina | Full Professor | natasha.sharygina@usi.ch | +41 (0)58 66 64299 |
| Antti Hyvärinen | Postdoc | antti.hyvaerinen@usi.ch | +41 (0)58 66 64291 |
| Sepideh Asadi | PhD student | sepideh.asadi@usi.ch | +41 (0)58 66 64312 |
| Martin Blicha | PhD student | martin.blicha@usi.ch | +41 (0)58 66 64312 |
| Rodrigo Otoni | PhD 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 |
Alumni
| Matteo Marescotti | PhD student (2015 - 2020) | now a Researcher at Facebook Research, London, UK |
| Leonardo Alt | PhD student (2013 - 2017) | now a Formal Verification Scientist at Ethereum Foundation |
| Grigory Fedyukovich | PhD student (2010 - 2015) | now an Assistant Professor at Florida State University, USA |
| Francesco Alberti | PhD student (2010 - 2015) | now a head of Research and Development of EOLO Inc. |
| Simone Fulvio Rollini | PhD student (2009 - 2014) | now a Senior Research Engineer at Reytheon Technologies |
| Ondrej Sery | Postdoc (2010 - 2013) | now a Senior software engineer at Pure Storage, Czech Republic |
| Aliaksei Tsitovich | PhD student (2006 - 2011) | now a Director at BrightInsight, Zurich |
| Roberto Bruttomesso | Postdoc (2007 - 2011) |
now a Software Engineer in Cybersecurity at Nozomi Networks, Italy |
| Stefano Tonetta | Postdoc (2006 - 2008) | now a researcher at Fondazione Bruno Kessler, Trento, Italy |
| Chiara Braghin | Postdoc | now a professor at Università degli Studi di Milano |
