Short Bio:

• 2011 - : EPSRC Postdoctoral Research Associate (Populations project), School of Computing Science, University of Glasgow, within the FATA research group.
• 2011 : EPSRC Postdoctoral Research Assistant (VPS project), School of Computing Science, University of Glasgow.
• 2009 - 2011 : EPSRC 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 component-based design, biochemical networks, systems biology and autonomic computing.

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

I am the convenor of the weekly FATA seminar.