Oana M. ANDREI
Research interests:
- Formal specifications and verification of concurrent, interacting systems: algebraic specifications, rewriting logic, graph rewriting, process algebra, interface automata, probabilistic systems, model checking.
- Mobile app analytics, formal modelling and analysis of app usage.
- Sensor networks, vehicular networks.
- Interactive systems, human-computer interactions, social group interactions, human-robot interactions.
- Programming languages: rule-based programming, semantics.
- Biochemical networks and cell signalling, systems biology.
Past projects I was involved:
-
S4: Science of Sensor Systems Software. EPSRC-funded (2016-2020), University of Glasgow.
-
Explainable social group interactions using probabilistic model checking. Funded by the John Robertson Bequest, University of Glasgow, 2018-2019.
This project investigates novel Markovian models for human-human interaction patterns in social group meetings. It uses probabilistic model checking and probabilistic
temporal logic properties to analyse and explain inferred interaction patterns. Such techniques can give insight into what makes some group meetings more productive than others,
and provide feedback to group interactions for future meetings. This research is based on a collaboration with Dr Gabriel Murray (University of the Fraser Valley, Canada).
- Populations: A Population Approach to Ubicomp System Design. EPSRC-funded (2011-2016), University of Glasgow.
- VPS: Verifying Interoperability Requirements in Pervasive Systems. EPSRC-funded (2008-2011), University of Glasgow.
- PORGY: Interactive Analysis and Visualisation of Port Graph Rewriting Systems. Associated team: GRAVITE group (INRIA Bordeaux) and Theory of Computing group (King's College London)
- SIGNAL: Stochastic process algebra for biochemical signalling pathway analysis. EPSRC-funded (2007-2010)
-
P Systems Semantics. National Research Grant code CNCSIS 875. Department of Informatics, University "Al.I. Cuza" Iasi, Romania, 2005 -- 2006.