Oana Andrei
Scholar

Oana Andrei

Google Scholar ID: s86JS7oAAAAJ
School of Computing Science, University of Glasgow
Formal MethodsEducation
Citations & Impact
All-time
Citations
145
 
H-index
6
 
i10-index
4
 
Publications
20
 
Co-authors
18
list available
Resume (English only)
Academic Achievements
  • Published numerous papers, specific list not provided but covers research outputs from 2012 to 2025.
Research Experience
  • Worked as a Research Fellow at the School of Computing Science, University of Glasgow, under Prof Dame Muffy Calder on several EPSRC funded projects such as S4: Science of Sensor Systems Software, Populations: A populations approach to ubicomp systems design, etc. Currently, she is a Senior Lecturer with the Education and Practice (EAP) section and the Formal Analysis, Theory and Algorithms (FATA) section.
Education
  • PhD in Computer Science from INPL (now University of Lorraine) and INRIA Nancy-Grand Est, France, obtained in 2008.
Background
  • Research interests include Computing Education and Formal Methods. In Computing Education, focuses on developing professional competencies in software engineering, enhancing algorithmic thinking skills, and widening access to computing education. In Formal Methods, specializes in modeling and analyzing complex systems.
Miscellany
  • Pronouns: She/her/hers