Nicola was previously a post-doc at Stony Brook working in Scott Smolka's group.
Nicola received his PhD from the University of Camerino (Italy) in 2014. He went on an internship in the Biological Computation group of Microsoft Research Cambridge, after which he joined Prof. Marta Kwiatkowska's group at Oxford University as a post-doc.
Nicola's research interests include verification, control, and synthesis of stochastic and hybrid systems, with applications to safety assurance of medical devices and analysis of biological systems. On these topics, he has co-authored 30+ papers. He received three best paper awards, a "best PhD student" award from the University of Camerino, and several presentation awards.
