Dr Oana Andrei

  • Research Fellow (Computing Science)

telephone: 01413305457
email: Oana.Andrei@glasgow.ac.uk

Biography

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

Research interests

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.

Teaching

  • Modelling Reactive Systems 4 (MRS4) -- Probabilistic Model Checking

Publications

List by: Type | Date

Jump to: 2016 | 2014 | 2013 | 2012 | 2011 | 2010
Number of items: 7.

2016

Andrei, O., Calder, M., Chalmers, M., Morrison, A., and Rost, M. (2016) Probabilistic formal analysis of app usage to inform redesign. Lecture Notes in Computer Science, 9681, pp. 115-129. (doi:10.1007/978-3-319-33693-0_8)

2014

Andrei, O., Calder, M., Higgs, M., and Girolami, M. (2014) Probabilistic model checking of DTMC models of user activity patterns. Lecture Notes in Computer Science, 8657, pp. 138-153. (doi:10.1007/978-3-319-10696-0_11)

2013

Andrei, O., and Kirchner, H. (2013) Runtime verification for biochemical programs. Electronic Notes in Theoretical Computer Science, 297, pp. 27-46. (doi:10.1016/j.entcs.2013.12.003)

2012

Andrei, O., Calder, M., and Miller, A. (2012) Role-based interface automata. In: 4th International Workshop on Foundations of Interface Technologies, Tallinn, Estonia, 25 Mar 2012,

Andrei, O., and Calder, M. (2012) Trend-based analysis of a population model of the AKAP scaffold protein. Lecture Notes in Computer Science, 7625, pp. 1-25. (doi:10.1007/978-3-642-35524-0_1)

2011

Andrei, O., Fernandez, M., Kirchner, H., Melancon, G., Namet, O., and Pinaud, B. (2011) PORGY: strategy-driven interactive transformation of graphs. Electronic Proceedings in Theoretical Computer Science, 48, pp. 54-68. (doi:10.4204/EPTCS.48.7)

2010

Andrei, O., and Calder, M. (2010) A model and analysis of the AKAP scaffold. Electronic Notes in Theoretical Computer Science, 268, pp. 3-15. (doi:10.1016/j.entcs.2010.12.002)

This list was generated on Mon Mar 27 11:03:45 2017 BST.
Number of items: 7.

Articles

Andrei, O., Calder, M., Chalmers, M., Morrison, A., and Rost, M. (2016) Probabilistic formal analysis of app usage to inform redesign. Lecture Notes in Computer Science, 9681, pp. 115-129. (doi:10.1007/978-3-319-33693-0_8)

Andrei, O., Calder, M., Higgs, M., and Girolami, M. (2014) Probabilistic model checking of DTMC models of user activity patterns. Lecture Notes in Computer Science, 8657, pp. 138-153. (doi:10.1007/978-3-319-10696-0_11)

Andrei, O., and Kirchner, H. (2013) Runtime verification for biochemical programs. Electronic Notes in Theoretical Computer Science, 297, pp. 27-46. (doi:10.1016/j.entcs.2013.12.003)

Andrei, O., and Calder, M. (2012) Trend-based analysis of a population model of the AKAP scaffold protein. Lecture Notes in Computer Science, 7625, pp. 1-25. (doi:10.1007/978-3-642-35524-0_1)

Andrei, O., Fernandez, M., Kirchner, H., Melancon, G., Namet, O., and Pinaud, B. (2011) PORGY: strategy-driven interactive transformation of graphs. Electronic Proceedings in Theoretical Computer Science, 48, pp. 54-68. (doi:10.4204/EPTCS.48.7)

Andrei, O., and Calder, M. (2010) A model and analysis of the AKAP scaffold. Electronic Notes in Theoretical Computer Science, 268, pp. 3-15. (doi:10.1016/j.entcs.2010.12.002)

Conference Proceedings

Andrei, O., Calder, M., and Miller, A. (2012) Role-based interface automata. In: 4th International Workshop on Foundations of Interface Technologies, Tallinn, Estonia, 25 Mar 2012,

This list was generated on Mon Mar 27 11:03:45 2017 BST.