Dr Oana Andrei
- Lecturer (Computing Science Administration)
Dr Oana Andrei is a Lecturer in the Centre for Computing Science Education. Until August 2020 she was 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 worked on the EPSRC programme grants S4: Science of Sensor Systems Software (2016 -- 2020), Populations: A populations approach to ubicomp systems design (2011 -- 2017), and the EPRSC projects VPS: Verifying Interoperability Requirements in Pervasive Systems (2011) and SIGNAL: Stochastic process algebra for biochemical signalling pathway analysis (2009 -- 2011). In 2008 she obtained a PhD in Computer Science from INPL (nowadays University of Lorraine) and INRIA Nancy-Grand Est, France.
Personal website: http://www.dcs.gla.ac.uk/~oandrei
Her expertise lies in Formal Methods, which are techniques for modelling complex systems as abstract mathematical entities amenable to a rigorous analysis of their properties. Her core formal modelling and analysis research interests include quantitative automata, Markov models, process algebra, stochastic model checking, term and graph rewriting, interface automata. Her 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), Information Science and Human Computer Interactions (user models, analytics for interactive systems), Computational Social Science.
- Algorithmics (Graduate Apprenticeship programme)
- Modelling Reactive Systems (MRS)