Dr Tim Storer is a Senior Lecturer (Associate Professor) in Software Engineering. Tim leads the School’s Software Engineering Laboratory and works extensively with the software industry, collaborating on many industry-funded research projects in finance, aeronautics, and systems engineering. He has also developed significant engagement between the Scottish computing research community and industry, including work with start-ups.
Dr Oana Andrei is a Lecturer (Assistant Professor) based in the Education and Practice (EAP) section, and affiliated with the Formal Analysis, Theory and Algorithms (FATA) section. As such, Oana is at the forefront of theoretical computing science education, and an expert in the teaching of formal methods for higher education.
Dr Gethin Norman’s research focuses on the underpinning of quantitative formal methods, particularly for systems exhibiting real-time and probabilistic behaviour. He is a key contributor to the development of PRISM, the world-leading quantitative formal methods tool. He received the Best College Teacher award for the College of Science and Engineering in the 2023 SRC Student Teaching Awards.
Dr Marwa Mahmoud is interested in building socially intelligent technologies utilising computer vision and multimodal machine learning for applications of "AI for Social Good". She pioneered research directions on affective gestures analysis as well as vision-based AI for early diagnosis of disease in animals and animal welfare applications.
Dr Kitty Meeks uses ideas from pure mathematics to address practical problems arising in computer science, especially in algorithms and computational complexity. She holds a Personal Research Fellowship from the Royal Society of Edinburgh.