I am a member of the Education and Practice research section, the Formal Methods research group within the FATA research section, and the Understandable Autonomous Systems research theme.

Research Interests

Since 2020 I have been working on Computing Education research on learning, teaching and scholarship about computer science curriculum and widening access to Higher Education in Computer Science and Software Engineering.

My 20+ years of research expertise lies in Formal Methods, which are techniques for modelling complex systems as abstract mathematical entities amenable to a rigorous analysis of their properties. My core formal modelling and analysis research interests include quantitative automata, Markov models, process algebra, stochastic model checking, term and graph rewriting, interface automata. I have worked on a range of interdisciplinary research projects encompassing areas such as: Computational Biology (biochemical networks, membrane systems), Communicating Systems (autonomous systems, vehicular networks, security protocols, sensor networks, smart water networks), Human Computer Interactions (user models, analytics for interactive systems), Computational Social Science.

My publications are listed on this webpage, as well as on Google Scholar, with most up to date on DBLP and ORCID.

Short Bio

• Since Sept 2020: Lecturer/Assistant Professor, School of Computing Science, University of Glasgow.
• 2016 - 2020: Research Fellow (S4 research programme), School of Computing Science, University of Glasgow.
• 2011 - 2017 : 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: BSc in Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest, Romania.