Oana M. ANDREI
- 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.
Projects I am currently involved in are:
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).
Past projects I was involved: