Dr Oana Andrei
- Research Fellow (Computing Science)
Dr Oana Andrei is a Research Fellow in the School of Computing Science at the University of Glasgow and a member of the Formal Analysis, Theory and Algorithm section. She currently works as named researcher on the EPSRC programme grants Science of Sensor Systems Software (S4) with Muffy Calder as line manager. She had a major technical contribution to the EPSRC programme grant A populations approach to ubicomp systems design (2011 -- 2017) where she defined a novel temporal analytics methodology for temporal usage models of mobile applications. In 2008 she obtained a PhD in computer science from INPL and INRIA, Nancy, France.
Personal site: http://www.dcs.gla.ac.uk/~oandrei
My 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. My interdisciplinary research to date encompasses areas such as: Computational Biology (biochemical networks, membrane systems), Communicating Systems (autonomous systems, vehicular networks, security protocols, sensor networks, smart water networks), and Information Science and Human Computer Interactions (user models, analytics for interactive systems).
- Modelling Reactive Systems 4 (MRS4) -- Probabilistic Model Checking