I am a member of the FATA research section.

Short Bio:

• 2016 - : Research Fellow (S4 research programme), School of Computing Science, University of Glasgow.
• 2011 - : Research Associate (Populations research programme), School of Computing Science, University of Glasgow.
• 2011 : Postdoctoral Research Assistant (VPS project), School of Computing Science, University of Glasgow.
• 2009 - 2011 : Postdoctoral Research Assistant (SIGNAL project), School of Computing Science, University of Glasgow, UK.
• 2005 - 2008: PhD in Computer Science, INRIA Nancy - Grand Est (Pareo team), INPL, Nancy, France, supervised by Hélène Kirchner.
• 2005: Summer intern, INRIA Nancy - Grand Est (Pareo team), INPL, Nancy, France, supervised by Hélène Kirchner.
• 2004 - 2008: Teaching Assistant, Faculty of Computer Science, Software Systems Department, "Al.I. Cuza" University, Iasi, Romania.
• 2003 - 2005: MSc in Distributed Systems, Faculty of Computer Science, "Al.I. Cuza" University, Iasi, Romania.
• 1999 - 2003: BSs in Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest, Romania.

My research interests involve fundamental aspects of theoretical computer science, mainly formal specifications and verification of concurrent and stochastic systems and compositional reasoning. The applications I study concern sensor networks, smart energy systems, mobile app analytics, vehicular networks, biological systems, and autonomic computing.

My publications are listed on this webpage, as well as on Google Scholar, DBLP, and ORCID.