Dr Oana Andrei

  • Lecturer (Computing Science)

telephone: 01413305457
email: Oana.Andrei@glasgow.ac.uk
pronouns: She/her/hers

Room F123, Computing Science, 12 Lilybank Gardens, Glasgow G12 8QQ

Import to contacts

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

Biography

I am a Lecturer (Assistant Professor) with the Education and Practice (EAP) section, the Centre for Computing Science Education research group, 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 Computing Education research focuses on developing professional competencies across university and work-based learning programs in software engineering, as well as enhancing algorithmic thinking skills. I have been investigating pedagogical approaches such as pair programming in algorithms courses, reflective practice in work-based learning programs, and the integration of socially responsible computing. I am passionate about widening access to computing education and promoting social mobility through degree-level apprenticeships and inclusive educational practices.

My 20+ years research expertise in Formal Methods - techniques for modelling complex systems as abstract mathematical entities amenable to a rigorous analysis of their properties - focuses on formal modelling and analysis, including Markov models, stochastic model checking, and term and graph rewriting. 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: 2025 | 2024 | 2023 | 2022 | 2021 | 2019 | 2018 | 2017 | 2016 | 2014 | 2013 | 2012 | 2011 | 2010
Number of items: 25.

2025

Barr, Matthew ORCID logoORCID: https://orcid.org/0000-0002-5147-0673, Nabi, Syed Waqar ORCID logoORCID: https://orcid.org/0000-0003-3835-4851 and Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 (2025) The Development of Reflective Practice on a Work-Based Software Engineering Program: A Longitudinal Study. In: 37th IEEE Conference on Software Engineering Education and Training (CSEE&T), Ottowa, Canada, 27 April - 3 May 2025, (Accepted for Publication)

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Barr, Matthew ORCID logoORCID: https://orcid.org/0000-0002-5147-0673, Nabi, Syed Waqar ORCID logoORCID: https://orcid.org/0000-0003-3835-4851 and Morrison, Alistair (2025) Understanding Skill Transfer Between University and Workplace Through Reflective Practice: A Software Engineering Work-Based Learning Experience. In: 30th ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE ’25), Nijmegen, Netherlands, 30 June- 2 July 2025, (Accepted for Publication)

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 (2025) Course Portfolio on Algorithmics. Project Report. Zenodo. (doi: 10.5281/zenodo.14809895).

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Nabi, Syed Waqar ORCID logoORCID: https://orcid.org/0000-0003-3835-4851, Barr, Matthew ORCID logoORCID: https://orcid.org/0000-0002-5147-0673 and Petrovska, Olga (2025) Integrating Socially Responsible Computing Competencies in Computer Science and Software Engineering Education. 9th Conference on Computing Education Practice (CEP 2025), Durham, UK, 07 Jan 2025. pp. 36-37. ISBN 9798400711725 (doi: 10.1145/3702212.3702225)

Nabi, Syed Waqar ORCID logoORCID: https://orcid.org/0000-0003-3835-4851, Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Barr, Matthew ORCID logoORCID: https://orcid.org/0000-0002-5147-0673, Cutts, Quintin ORCID logoORCID: https://orcid.org/0000-0002-6368-9912, Maguire, Joseph ORCID logoORCID: https://orcid.org/0000-0002-3718-7679, Morrison, Alistair, Parkinson, Jack ORCID logoORCID: https://orcid.org/0000-0001-6175-7638, Somerville, Derek and Storer, Tim ORCID logoORCID: https://orcid.org/0000-0002-4026-097X (2025) Assessing Work-Based Learning in the Senior Years of a Software Engineering Graduate Apprenticeship Program. In: IEEE Conference on Software Engineering Education and Training (CSEE&T), Ottawa, Ontario, Canada, 28-29 April 2025, (Accepted for Publication)

2024

Phetmanee, Surasak ORCID logoORCID: https://orcid.org/0000-0002-8913-1124, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 (2024) STEVE: A Rational Verification Tool for Stackelberg Security Games. In: 19th International Conference on Integrated Formal Methods (iFM 2024), Manchester, UK, 11-15 Nov 2024, pp. 267-275. ISBN 9783031765537 (doi: 10.1007/978-3-031-76554-4_15)

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Sojtory, Zoltan (2024) LLM-aided Pair Programming for Algorithm Tracing. In: UK and Ireland Computing Education Research Conference (UKICER 2024), Manchester, UK, 05-06 Sep 2024, p. 20. ISBN 9798400711770 (doi: 10.1145/3689535.3689546)

Lungu, Alexandru-Ioan, Teodorescu, Vlad, Zaborila, Andrei, Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Lucanu, Dorel (2024) Alk: a formal-methods-based educational platform for enhancing algorithmic thinking. Scientific Annals of Computer Science, XXXIV(1), pp. 39-66. (doi: 10.47743/SACS.2024.1.39)

Barr, Matthew ORCID logoORCID: https://orcid.org/0000-0002-5147-0673, Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Morrison, Alistair and Nabi, Syed Waqar ORCID logoORCID: https://orcid.org/0000-0003-3835-4851 (2024) The Development of Students' Professional Competencies on a Work-Based Software Engineering Program. In: 55th ACM Technical Symposium on Computer Science Education (SIGCSE TS), Portland, OR, USA, 20-23 March 2024, pp. 81-87. ISBN 9798400704239 (doi: 10.1145/3626252.3630944)

2023

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Nabi, Syed Waqar ORCID logoORCID: https://orcid.org/0000-0003-3835-4851 (2023) On Students’ Experiences with Algorithm Tracing using Pair Programming. In: 19th ACM Conference on International Computing Education Research (ICER 2023), Chicago, Illinois, USA, 8-10 October 2023, ISBN 9781450399753 (doi: 10.1145/3568812.3603477)

Barr, Matthew ORCID logoORCID: https://orcid.org/0000-0002-5147-0673, Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Kallia, Maria ORCID logoORCID: https://orcid.org/0000-0002-8591-9651 (2023) Widening access to higher education through degree-level apprenticeships in software engineering. In: IEEE ASEE Frontiers in Education Conference (FIE 2023), College Station, Texas, 18–21 October 2023, ISBN 9798350336429 (doi: 10.1109/FIE58773.2023.10343199)

2022

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 (2022) A Practice Enquiry Design to Investigate How Pair Programming Can Help with Constructing Automata. In: United Kingdom and Ireland Computing Education Research (UKICER 2022), Dublin, Ireland, 1-2 Sept 2022, p. 20. ISBN 9781450397421 (doi: 10.1145/3555009.3555031)

2021

Kavanagh, William ORCID logoORCID: https://orcid.org/0000-0003-0521-1643, Miller, Alice ORCID logoORCID: https://orcid.org/0000-0002-0941-1717, Norman, Gethin ORCID logoORCID: https://orcid.org/0000-0001-9326-4344 and Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 (2021) Balancing turn-based games with chained strategy generation. IEEE Transactions on Games, 13(2), pp. 113-122. (doi: 10.1109/TG.2019.2943227)

2019

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Chalmers, Matthew ORCID logoORCID: https://orcid.org/0000-0001-9816-668X and Morrison, Alistair (2019) Interpreting Computational Models of Interactive Software Usage. Computational Modeling in Human-Computer Interaction Workshop at the ACM CHI Conference on Human Factors in Computing Systems 2019, Glasgow, UK, 05 May 2019.

2018

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 (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, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Murray, Gabriel (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, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 (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, Bruno, Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Fernández, Maribel, Kirchner, Hélène, Melançon, Guy and Vallet, Jason (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, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Chalmers, Matthew ORCID logoORCID: https://orcid.org/0000-0001-9816-668X, Morrison, Alistair and Rost, Mattias (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, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Higgs, Matthew and Girolami, Mark (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, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Kirchner, Hélène (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. ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Calder, M. and Miller, A. ORCID logoORCID: https://orcid.org/0000-0002-0941-1717 (2012) Role-Based Interface Automata. In: 4th International Workshop on Foundations of Interface Technologies, Tallinn, Estonia, 25 Mar 2012,

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 (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. ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, 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 ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Calder, M. ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 (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 Sun Jun 15 03:54:07 2025 BST.
Jump to: Articles | Research Reports or Papers | Conference or Workshop Item | Conference Proceedings
Number of items: 25.

Articles

Lungu, Alexandru-Ioan, Teodorescu, Vlad, Zaborila, Andrei, Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Lucanu, Dorel (2024) Alk: a formal-methods-based educational platform for enhancing algorithmic thinking. Scientific Annals of Computer Science, XXXIV(1), pp. 39-66. (doi: 10.47743/SACS.2024.1.39)

Kavanagh, William ORCID logoORCID: https://orcid.org/0000-0003-0521-1643, Miller, Alice ORCID logoORCID: https://orcid.org/0000-0002-0941-1717, Norman, Gethin ORCID logoORCID: https://orcid.org/0000-0001-9326-4344 and Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 (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, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 (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, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 (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, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Chalmers, Matthew ORCID logoORCID: https://orcid.org/0000-0001-9816-668X, Morrison, Alistair and Rost, Mattias (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, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Higgs, Matthew and Girolami, Mark (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, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Kirchner, Hélène (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, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 (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. ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, 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 ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Calder, M. ORCID logoORCID: https://orcid.org/0000-0001-5033-7232 (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)

Research Reports or Papers

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 (2025) Course Portfolio on Algorithmics. Project Report. Zenodo. (doi: 10.5281/zenodo.14809895).

Conference or Workshop Item

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Nabi, Syed Waqar ORCID logoORCID: https://orcid.org/0000-0003-3835-4851, Barr, Matthew ORCID logoORCID: https://orcid.org/0000-0002-5147-0673 and Petrovska, Olga (2025) Integrating Socially Responsible Computing Competencies in Computer Science and Software Engineering Education. 9th Conference on Computing Education Practice (CEP 2025), Durham, UK, 07 Jan 2025. pp. 36-37. ISBN 9798400711725 (doi: 10.1145/3702212.3702225)

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Calder, Muffy ORCID logoORCID: https://orcid.org/0000-0001-5033-7232, Chalmers, Matthew ORCID logoORCID: https://orcid.org/0000-0001-9816-668X and Morrison, Alistair (2019) Interpreting Computational Models of Interactive Software Usage. Computational Modeling in Human-Computer Interaction Workshop at the ACM CHI Conference on Human Factors in Computing Systems 2019, Glasgow, UK, 05 May 2019.

Pinaud, Bruno, Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Fernández, Maribel, Kirchner, Hélène, Melançon, Guy and Vallet, Jason (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

Barr, Matthew ORCID logoORCID: https://orcid.org/0000-0002-5147-0673, Nabi, Syed Waqar ORCID logoORCID: https://orcid.org/0000-0003-3835-4851 and Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 (2025) The Development of Reflective Practice on a Work-Based Software Engineering Program: A Longitudinal Study. In: 37th IEEE Conference on Software Engineering Education and Training (CSEE&T), Ottowa, Canada, 27 April - 3 May 2025, (Accepted for Publication)

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Barr, Matthew ORCID logoORCID: https://orcid.org/0000-0002-5147-0673, Nabi, Syed Waqar ORCID logoORCID: https://orcid.org/0000-0003-3835-4851 and Morrison, Alistair (2025) Understanding Skill Transfer Between University and Workplace Through Reflective Practice: A Software Engineering Work-Based Learning Experience. In: 30th ACM Conference on Innovation and Technology in Computer Science Education (ITiCSE ’25), Nijmegen, Netherlands, 30 June- 2 July 2025, (Accepted for Publication)

Nabi, Syed Waqar ORCID logoORCID: https://orcid.org/0000-0003-3835-4851, Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Barr, Matthew ORCID logoORCID: https://orcid.org/0000-0002-5147-0673, Cutts, Quintin ORCID logoORCID: https://orcid.org/0000-0002-6368-9912, Maguire, Joseph ORCID logoORCID: https://orcid.org/0000-0002-3718-7679, Morrison, Alistair, Parkinson, Jack ORCID logoORCID: https://orcid.org/0000-0001-6175-7638, Somerville, Derek and Storer, Tim ORCID logoORCID: https://orcid.org/0000-0002-4026-097X (2025) Assessing Work-Based Learning in the Senior Years of a Software Engineering Graduate Apprenticeship Program. In: IEEE Conference on Software Engineering Education and Training (CSEE&T), Ottawa, Ontario, Canada, 28-29 April 2025, (Accepted for Publication)

Phetmanee, Surasak ORCID logoORCID: https://orcid.org/0000-0002-8913-1124, Sevegnani, Michele ORCID logoORCID: https://orcid.org/0000-0001-6773-9481 and Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 (2024) STEVE: A Rational Verification Tool for Stackelberg Security Games. In: 19th International Conference on Integrated Formal Methods (iFM 2024), Manchester, UK, 11-15 Nov 2024, pp. 267-275. ISBN 9783031765537 (doi: 10.1007/978-3-031-76554-4_15)

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Sojtory, Zoltan (2024) LLM-aided Pair Programming for Algorithm Tracing. In: UK and Ireland Computing Education Research Conference (UKICER 2024), Manchester, UK, 05-06 Sep 2024, p. 20. ISBN 9798400711770 (doi: 10.1145/3689535.3689546)

Barr, Matthew ORCID logoORCID: https://orcid.org/0000-0002-5147-0673, Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Morrison, Alistair and Nabi, Syed Waqar ORCID logoORCID: https://orcid.org/0000-0003-3835-4851 (2024) The Development of Students' Professional Competencies on a Work-Based Software Engineering Program. In: 55th ACM Technical Symposium on Computer Science Education (SIGCSE TS), Portland, OR, USA, 20-23 March 2024, pp. 81-87. ISBN 9798400704239 (doi: 10.1145/3626252.3630944)

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Nabi, Syed Waqar ORCID logoORCID: https://orcid.org/0000-0003-3835-4851 (2023) On Students’ Experiences with Algorithm Tracing using Pair Programming. In: 19th ACM Conference on International Computing Education Research (ICER 2023), Chicago, Illinois, USA, 8-10 October 2023, ISBN 9781450399753 (doi: 10.1145/3568812.3603477)

Barr, Matthew ORCID logoORCID: https://orcid.org/0000-0002-5147-0673, Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Kallia, Maria ORCID logoORCID: https://orcid.org/0000-0002-8591-9651 (2023) Widening access to higher education through degree-level apprenticeships in software engineering. In: IEEE ASEE Frontiers in Education Conference (FIE 2023), College Station, Texas, 18–21 October 2023, ISBN 9798350336429 (doi: 10.1109/FIE58773.2023.10343199)

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 (2022) A Practice Enquiry Design to Investigate How Pair Programming Can Help with Constructing Automata. In: United Kingdom and Ireland Computing Education Research (UKICER 2022), Dublin, Ireland, 1-2 Sept 2022, p. 20. ISBN 9781450397421 (doi: 10.1145/3555009.3555031)

Andrei, Oana ORCID logoORCID: https://orcid.org/0000-0002-1306-0219 and Murray, Gabriel (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. ORCID logoORCID: https://orcid.org/0000-0002-1306-0219, Calder, M. and Miller, A. ORCID logoORCID: https://orcid.org/0000-0002-0941-1717 (2012) Role-Based Interface Automata. In: 4th International Workshop on Foundations of Interface Technologies, Tallinn, Estonia, 25 Mar 2012,

This list was generated on Sun Jun 15 03:54:07 2025 BST.

Supervision

  • Li, Zhixi
    Understanding the study experience of international students through the application of ChatGPT
  • Phetmanee, Surasak
    Rational Verification for Stackelberg Security Games

Teaching

Academic roles and responsiblities

External examiner for the BSc (Hons) Computing Science Programmes the University of Stirling (from Sept. 2025)

Course coordinator

Course co-lecturer

School-level

  • 2023 - (ongoing): Deputy Director of the Graduate Apprenticeship in Software Engineering programme
  • 2023 - (ongoing): School Equality, Diversity, and Inclusion Committee member
  • 2025 - (ongoing): School Website Committee member - EAP research section rep
  • 2020 - 2025: School Website Committee member - FATA research section rep
  • 2020 - 2023: Exchange Student Coordinator for Computing Science
  • 2015 - 2017: School Postdoctoral Representative
  • 2014 - 2018: Athena SWAN Self-Assessment Team Member

University-level

  • Since 2025: Reviewer for the SoTL Ethics Committee
  • Since 2025: Member of the Senate Student Conduct Committee
  • 2022: Member of the University Services Board of Studies for Student Learning Development, Academic Digital Development and Lifelong Learning (PGCAP student rep)
  • 2012 - 2017: Postdoctoral Representative in the Researcher Development Committee (Research Strategy & Innovation Office)

Portrait of Dr Oana Andrei

Dr Oana Andrei on Bluesky Dr Oana Andrei on Twitter