معرفی
Dr. Oana Andrei is a Senior Lecturer (Assistant Professor) at the School of Computing Science, University of Glasgow. She is affiliated with the Education and Practice (EAP) section, the Centre for Computing Science Education research group, and the Formal Analysis, Theory and Algorithms (FATA) section. Her academic journey includes a PhD in Computer Science from INPL (now University of Lorraine) and INRIA Nancy-Grand Est, France, completed in 2008, followed by a Research Fellowship at the University of Glasgow until August 2020.
Dr. Andrei's research spans two primary areas: Computing Education and Formal Methods. In Computing Education, she focuses on developing professional competencies across university and work-based learning programs in software engineering, enhancing algorithmic thinking skills, and investigating pedagogical approaches such as pair programming in algorithms courses. Her work in Formal Methods involves formal modeling and analysis techniques, including Markov models, stochastic model checking, and term and graph rewriting, applied across interdisciplinary domains like Computational Biology, Communicating Systems, Human Computer Interactions, and Computational Social Science.
Her recent publications demonstrate a strong trend toward Computing Education research, particularly in work-based learning programs, degree apprenticeships, and the integration of socially responsible computing in curricula. She has also maintained her work in formal methods, with recent contributions to security games and verification tools. Her research bridges theoretical computer science with practical educational applications, showing how formal methods can enhance computing education.
As a dedicated educator, Dr. Andrei serves as Deputy Director of the Graduate Apprenticeship in Software Engineering programme and coordinates several courses including COMPSCI2026 Algorithmics and COMPSCI4085P Workplace Assessment. She is actively involved in promoting social mobility through degree-level apprenticeships and inclusive educational practices.
Dr. Andrei supervises multiple research students including Li Zhixi, Palakudy Jomon, and Phetmanee Surasak, working on topics ranging from ChatGPT applications in education to formal verification methods. Her teaching responsibilities include both undergraduate and postgraduate courses in algorithmics and modeling reactive systems.
She is actively engaged in university service, serving on the School Equality, Diversity, and Inclusion Committee, the School Website Committee, and as an External Examiner for the BSc (Hons) Computing Science Programmes at the University of Stirling starting in September 2025. She also serves on the Senate Student Conduct Committee and as a reviewer for the SoTL Ethics Committee.
