My main role as lecturer is in the School of Computer Science at The University of Birmingham and a Guest Lecturer on the Professional Masters Programme at The University of Oxford. I am also guest lecturer at Northwestern Polytechnical University, Xi'an, China and Aramco Academy in Dammam, Saudi Arabia.

My research interests focus on bridging formal academic theory and industrial software engineering practice, particularly at the intersection of Generative AI and Formal Methods for creating correct-by-construction software. I also apply research to education through my open-access teaching tools, which provides state-of-the-art online runtime visualisation for programming education.

My teaching portfolio includes the "Design Patterns" module for the Oxford MSc and the core module "Databases and Web Programming" at Birmingham. I have a strong track record in curriculum leadership, including developing sector-leading Generative AI policies for student assessment. My teaching, for which I am a Fellow of the Higher Education Academy, consistently receives excellent student feedback.

In my leadership roles as Head of Employability and Head of Year in Industry, I partner with global organisations like Google, Accenture, and Goldman Sachs. I also led the successful accession of the University to the GCHQ/NCSC 'CyberFirst' scheme, securing professional pathways for students in cybersecurity.

On this website you can find out about my research, teaching, publications and software I've developed, as well as how to get in touch.