Lab members

Natasha Sharygina Professor natasha [dot] sharygina [at] usi [dot] ch +41 (0)58 66 64299
Ondrej Sery Postdoc ondrej [dot] sery [at] usi [dot] ch +41 (0)58 66 64307
Antti Hyvärinen Postdoc antti [dot] hyvaerinen [at] usi [dot] ch +41 (0)58 66 64291
Simone Fulvio Rollini PhD student simone [dot] fulvio [dot] rollini [at] usi [dot] ch +41 (0)58 66 64312
Francesco Alberti PhD student francesco [dot] alberti [at] usi [dot] ch +41 (0)58 66 64320
Grigory Fedyukovich PhD student grigory [dot] fedyukovich [at] usi [dot] ch +41 (0)58 66 64324
Aliaksei Tsitovich PhD student now a testing engineer at Phonak AG
Roberto Bruttomesso Postdoc now a Senior Member of Consulting Staff at Atrenta
Stefano Tonetta Postdoc now a researcher at Fondazione Bruno Kessler
Chiara Braghin Postdoc now a professor at Università degli Studi di Milano
Katerina Barone-Adesi undergradute research internship 2006 graduated

Open positions

Position for a PhD student in the project ''Quality of Interpolants in Model Checking''


The group has an open position for a research assistant in the area of software model checking and decision procedures. The assistant is to join the Ph.D. program at the University of Lugano and to conduct his/her Ph.D. research as part of the funded project "Quality of Interpolants in Model Checking". 

A successful candidate is expected to show skills in mathematics, theoretical computer science, as well as practical, system-level programming and tool development. Prior experience with formal methods and formal verification is an additional plus.

Our colleagues at AVM / COST meeting in Lugano


Find more information at AVM website.