Oana Maria Andrei photo
Lecturer (Assistant Professor)
Address:     Sir Alwyn Williams Building, 18 Lilybank Gardens, Glasgow G12 8RZ, UK
Office: F123
Phone: +44 141 330 5457
Email: oana.andrei -at- glasgow.ac.uk

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

Thu 8 Dec 2022