Oana M. ANDREI
- Formal specifications and verification of concurrent 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:
Past projects I was involved: