Dr Oana Andrei

  • Lecturer (Computing Science)

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

Room F113, Computing Science, 11 Lilybank Gardens, Glasgow G12 8QQ

ORCID iDhttps://orcid.org/0000-0002-1306-0219

Biography

I am a Lecturer with the Centre for Computing Science Education and the Formal Analysis, Theory and Algorithms (FATA) section. Until August 2020 I was a Research Fellow in the School of Computing Science at the University of Glasgow. I worked under Prof Dame Muffy Calder 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 I 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

Research interests

My expertise lies in Formal Methods, which are techniques for modelling complex systems as abstract mathematical entities amenable to a rigorous analysis of their properties.

My core formal modelling and analysis research interests include quantitative automata, Markov models, process algebra, stochastic model checking, term and graph rewriting, interface automata.

I have worked on a range of interdisciplinary research projects encompassing areas such as: Computational Biology (biochemical networks, membrane systems), Communicating Systems (autonomous systems, vehicular networks, security protocols, sensor networks, smart water networks), Human Computer Interactions (user models, analytics for interactive systems), Computational Social Science.

Find out more on my personal website.

Publications

List by: Type | Date

Jump to: 2021 | 2018 | 2017 | 2016 | 2014 | 2013 | 2012 | 2011 | 2010
Number of items: 12.

2021

Kavanagh, W. , Miller, A. , Norman, G. and Andrei, O. (2021) Balancing turn-based games with chained strategy generation. IEEE Transactions on Games, 13(2), pp. 113-122. (doi: 10.1109/TG.2019.2943227)

2018

Andrei, O. and Calder, M. (2018) Data-driven modelling and probabilistic analysis of interactive software usage. Journal of Logical and Algebraic Methods in Programming, 100, pp. 195-214. (doi: 10.1016/j.jlamp.2018.07.003)

Andrei, O. and Murray, G. (2018) Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking. In: Group Interaction Frontiers in Technology (GIFT 2018), Boulder, CO, USA, 16 Oct 2018, p. 5. ISBN 9781450360777 (doi:10.1145/3279981.3279988)

Andrei, O. and Calder, M. (2018) Temporal analytics for software usage models. Lecture Notes in Computer Science, 10729, pp. 9-24. (doi: 10.1007/978-3-319-74781-1_1)

2017

Pinaud, B., Andrei, O. , Fernández, M., Kirchner, H., Melançon, G. and Vallet, J. (2017) PORGY: a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting. Atelier Visualisation d'informations, interaction et fouille de données, Conférence Extraction et Gestion de Connaissances 2017, Grenoble, France, 24 Jan 2017. pp. 473-476.

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 Sep 20 06:12:39 2021 BST.
Jump to: Articles | Conference or Workshop Item | Conference Proceedings
Number of items: 12.

Articles

Kavanagh, W. , Miller, A. , Norman, G. and Andrei, O. (2021) Balancing turn-based games with chained strategy generation. IEEE Transactions on Games, 13(2), pp. 113-122. (doi: 10.1109/TG.2019.2943227)

Andrei, O. and Calder, M. (2018) Data-driven modelling and probabilistic analysis of interactive software usage. Journal of Logical and Algebraic Methods in Programming, 100, pp. 195-214. (doi: 10.1016/j.jlamp.2018.07.003)

Andrei, O. and Calder, M. (2018) Temporal analytics for software usage models. Lecture Notes in Computer Science, 10729, pp. 9-24. (doi: 10.1007/978-3-319-74781-1_1)

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 or Workshop Item

Pinaud, B., Andrei, O. , Fernández, M., Kirchner, H., Melançon, G. and Vallet, J. (2017) PORGY: a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting. Atelier Visualisation d'informations, interaction et fouille de données, Conférence Extraction et Gestion de Connaissances 2017, Grenoble, France, 24 Jan 2017. pp. 473-476.

Conference Proceedings

Andrei, O. and Murray, G. (2018) Interpreting Models of Social Group Interactions in Meetings with Probabilistic Model Checking. In: Group Interaction Frontiers in Technology (GIFT 2018), Boulder, CO, USA, 16 Oct 2018, p. 5. ISBN 9781450360777 (doi:10.1145/3279981.3279988)

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 Sep 20 06:12:39 2021 BST.

Teaching

  • Algorithmics (Graduate Apprenticeship programme)
  • Modelling Reactive Systems (MRS)