A Computer Science Lecturer (Assistant Professor) at the University of Aberdeen, with an honorary postdoctoral role at the University of Glasgow. Specializes in formal models of hybrid electric vehicles, network performance, and distributed systems. Previously taught at Lincoln, Roehampton, and Loughborough. Holds a PhD from Loughborough University and a BE from Northeastern University (China). Experienced in curriculum design, research (EPSRC projects), and industry collaboration (e.g., NXP Semiconductors).