Research output per year
Research output per year
Dr
Awarded Masters in Computing (Security and Resiliance) from Newcastle University (2016).
Awarded PhD in Computer Science from Teesside University (2022) for the thesis "An Investigation of Combined Domain Bi-Abductive Inference".
Current research focus is on the development and deployment of formal methods systems and techniques to software engineering settings.
Areas of particular interest are:
Module Leader of Applications Development (Sep 2022- Jan 2023 instance).
Currently delivering Lecture and Lab/Seminar sessions for:
Have previously delivered sessions for the following modules:
Also organising and delivering the online Winter University course Computer Sciences: Programming.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Supervisor: Qin, S. (Supervisor), He, M. (Supervisor) & Mu, C. (Supervisor)
Student thesis: Doctoral Thesis