I am a member of the Formal Methods research group within the FATA research section and contributing to 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:

• 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 (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.

News and Activities

• March 2020: Invited talk at Heriot-Watt University, Edinburgh, on "Formal Temporal Analytics for Data-Informed Software Redesign".
• Jan 2020: PC member of the 9th Workshop on the Reliability of Intelligent Environments, Madrid, Spain, 22-23 June 2020. Deadline for paper submission: 25 March 2020.
• Nov 2019: Co-organiser of the Scottish Theorem Proving Seminar (STP'19) taking place on 12 December 2019 at ICMS, Edinburgh.
• Oct 2019: Paper to appear in IEEE Transactions on Games (2019): "Balancing Turn-Based Games with Chained Strategy Generation" co-authored with William J. Kavanagh (lead), Alice Miller, and Gethin Norman.
• Oct 2019: Presented work on "Interpreting Probabilistic Models of Social Group Interactions in Meetings" at DataMod'19, Porto, Portugal.
• Oct 2019: Outreach activity at the Kelvindale Primary School, Glasgow, Primary 2,3 & 4 children, for "My World of Work Showcase" on being a researcher in Computing Science and binary numbers.
• Sept 2019: Tutor for the 2nd edition of the Computing Science Workshop on Cryptography part of the Quantum Technology School for secondary school children. Activities based on "Computer Science Unplugged".
• May 2019: Co-organiser of the SICSA-sponsored first Scottish Seminar on Formal Modelling, Verification, and Synthesis (SFMoVeS'19), Glasgow, UK, 9 September 2019, co-located with QEST'19.
• May 2019: Local organisation chair for the 16th Intl. Conference on Quantitative Evaluation of SysTems (QEST 2019), Glasgow, UK, 10-12 September 2019.
• May 2019: PC member of the 1st Workshop on Cognition: Interdisciplinary Foundations, Models and Applications (CIFMA'19), Oslo, Norway, 17 September 2019, collocated with SEFM'19. Deadline for paper submission: 13 June 2019.
• April 2019: PC member of the 8th Workshop on Formal Methods for Interactive Systems (FMIS'19), Porto, Portugal, 7 October 2019. Deadline for paper submission: 21 June 2019.
• March 2019: My paper "Interpreting Computational Models of Interactive Software Usage" co-authored with Muffy Calder, Matthew Chalmers, and Alistair Morrison was accepted at the ACM CHI workshop Computational Modeling in Human-Computer Interaction. To be presented on 5 May 2019 in Glasgow, UK.
• Feb 2019: PC member of the 8th Workshop on the Reliability of Intelligent Environments (WoRIE'19), Rabat, Morocco, 24 June 2019. Deadline for paper submission: 25 March 2019.
• Jan 2019: Co-organiser of the 8th International Symposium "From Data to Models and Back" (DataMod'19), Porto, Portugal, 7-8 October 2019. Deadline for abstracts: 14 June 2019 @DataMod19
• Aug 2018: I was appointed to a proleptic position as Lecturer on Learning, Teaching and Scholarship in the School of Computing Science, University of Glasgow, commencing 1 January 2021.
• Aug 2018: My paper on "Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking" with Gabriel Murray was accepted for presentation in the ACM ICMI workshop "Group Interaction Frontiers in Technology". To be presented on 16 October 2018 in Boulder, Colorado.
• July 2018: My paper on "Data-driven modelling and probabilistic analysis of interactive software usage" with Muffy Calder was accepted for publication in the Journal of Logical and Algebraic Methods in Programming.
• June 2018: Program co-chair of the 7th International Symposium "From Data to Models and Back" (DataMod'18), Toulouse, France
• March 2018: Co-organiser of the SICSA-sponsored workshop on Data-driven Modelling and Analysis of Complex Systems (DDMACS), Glasgow, UK
• March 2018: My research project "Explainable social group interactions using probabilistic model checking" was funded by the John Robertson Bequest, the Senate of the University of Glasgow. This research is based on my collaboration with Dr Gabriel Murray from University of the Fraser Valley, Canada.
• Feb 2018: Invited talk at the Verification Seminar, Department of Computer Science, University of Oxford: "Data-driven modelling and probabilistic analysis of interactive software usage"

Short Bio

• 2016 - : 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: BSs in Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest, Romania.