I am a member of the
Centre of Computer Science Education, the
Formal Methods research group within the
FATA research section,
and the
Understandable Autonomous Systems research theme.
Research Interests
Modelling complex, concurrent systems such that they are amenable to rigorous property analysis is central to my research. My expertise lies in
Formal Modelling and Analysis for interdisciplinary research, often leading to new theoretical results, while validating existing ones.
My core formal modelling and analysis research interests include quantitative automata, Markov models, process algebra, stochastic model checking, term and graph rewriting,
interface automata.
My interdisciplinary research to date encompasses areas such as:
- Human-Computer Interactions (user models, analytics for interactive systems)
- Communicating Systems (autonomous systems, vehicular networks, security protocols, sensor networks, smart water networks)
- Computational Social Science (social group interactions)
- Computational Biology (biochemical networks, membrane systems)
- Stochastic games
My publications are listed on this webpage, as well as on Google Scholar, DBLP, and ORCID.
The Temporal Usage Analytics tool for interactive systems is available on GitHub.
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.