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 on two EPSRC programme grants, A populations approach to ubicomp systems design and Science of Sensor Systems Software (S4) with Muffy Calder as line manager. Previously 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