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
Fundamental aspects of theoretical computer science, mainly formal specification and verification of concurrent and stochastic systems, and compositional reasoning. Application areas include: theories and models for population-based analysis of ubiquitous systems and user-intensive software (e.g., mobile applications); foundational conceptual frameworks, theories, models, logics and reasoning techniques needed for analysis of capabilities, constraints and requirements of sensor system software; component-based design; biochemical networks and systems biology; autonomic computing.
- Modelling Reactive Systems 4 (MRS4) -- Probabilistic Model Checking