News

About me

In my work, I investigate formal computational methods for the verification, control, and synthesis of stochastic and hybrid systems, with application to biological and biomedical systems. On these topics, I co-authored 30+ papers, obtaining 3 best paper awards, the "best Ph.D. student" award from the University of Camerino, and a number of presentation awards. Lately, I've been investigating robust controller design for the artificial pancreas, rate-adaptive pacing in cardiac devices, optimal synthesis of stochastic chemical reaction networks, and synthesis of robust designs for probabilistic systems.

I'm a post-doc at the Department of Computer Science, Stony Brook University, working with Prof. Scott Smolka and Prof. Shan Lin, and collaborating with many other great scientists in the CyberCardia project. Previously, I was a post-doc in the Department of Computer Science, Oxford University in Prof. Marta Kwiatkowska's group, funded by the VERIWARE project. In 2013, I spent a 3-month internship in the Biological Computation Group, Microsoft Research Cambridge. I obtained a Ph.D. in Information Sciences and Complex Systems from Università di Camerino.

See also:  Research  |  Publications  |  Curriculum Vitae  |  Researchgate  |  Google Scholar  |  DBLP  |  LinkedIn

Timeline

  • 2011-2014
  • 2013
  • 2014-2016
  • 2016-*

Ph.D. Candidate

in Information Sciences and Complex Systems,
Università di Camerino, IT

Intern

Biological Computation Group,
Microsoft Research Cambridge, UK

Research Assistant

Department of Computer Science,
University of Oxford, UK

Postdoctoral associate

Department of Computer Science,
Stony Brook University, USA

Research Highlights