CONCUR 2022 Test of Time Award for the paper The Element of Surprise in Timed Games, written with Marco Faella, Mariƫlle Stoelinga, Rupak Majumdar, and Thomas A. Henzinger, and originally published in the proceedings of the Concurrency Theory (CONCUR) 2003 conference.
ESWEEK 2020 Test of Time Award for the paper Interface Theories for Component-Based Design, written with Thomas A. Henzinger, and originally published in the proceedings of the Embedded Software (EMSOFT 2001) Conference.
LICS 2020 Test of Time Award, for the paper Concurrent Omega-Regular Games, written with Thomas A. Henzinger, and originally presented in the IEEE Symposium on Logic in ComputerScience (LICS) 2000.
ACM SIGSOFT Impact Paper Award 2012, for the paper Interface automata, written with Thomas A. Henzinger, and originally publised in the proceedings of ESEC/FSE 2001.
Best paper candidate, AAAI Conference on Human Computation and Crowdsourcing (HCOMP), 2016.
Best paper award, 12th International Conference on Concurrency Theory (CONCUR) 2001.
NSF Early Faculty Career Award, 2001
Samuel Thesis Award, Stanford University, 1998.
Nomination for ACM Doctoral Dissertation Award, Stanford University, 1998.
Graduation Cum Laude, Politecnico di Torino, Italy, 1990.