Dr Oana Andrei she/her

I am a Senior Lecturer in Computing Science with a background in formal methods and a strong interest in computing education research. My academic journey began with a degree in computer science followed by a Master of Science in Distributed Systems in Romania and a PhD in theoretical computer science in France. I later moved to the University of Glasgow, where I worked on formal verification in interdisciplinary contexts (from systems biology to networked and sensor systems) before joining the Learning, Teaching, and Scholarship academic track.

My research bridges formal verification, especially probabilistic model checking and stochastic games, with the design of responsible computing education. I am particularly interested in how we teach algorithmic and logical thinking in ways that promote inclusion, reflection, and critical awareness (especially in the context of generative AI) and its impact on professional practice and higher education. My work also explores competency-based learning and reflective assessment, particularly within work-based learning programmes such as graduate apprenticeships in software engineering.

I would be keen to co-supervise interdisciplinary PhD projects that explore responsible AI in education, formal reasoning for trustworthy and adaptive systems, or the design of inclusive, values-centred learning technologies. I enjoy supervisory work and currently support two PhD students, while also having supervised a range of undergraduate and Master’s projects on formal modelling, software development, game-based learning, and computing education.

As a supervisor, I combine structure with encouragement for independence. I aim to foster students’ critical thinking, reflective practice, and professional growth, whether through one-on-one supervision or broader curriculum design. I also bring this ethos to my leadership roles in assessment innovation, workplace-based learning, and academic development.

I am committed to Equity, Diversity, and Inclusion in both teaching and research. I serve on the School’s EDI Committee, contribute to Athena SWAN, and have been involved in initiatives exploring access, inclusion, and social mobility. I recently co-led a hands-on workshop on socially responsible computing competencies and I actively participate in Informatics Europe working groups on Diversity & Inclusion and Education Research.