Department of Computer Science,

Regent Court,

211 Portobello Street

Sheffield, S1 4DP

My research and teaching focus on software quality assurance. My research has a particular emphasis on “black-box” components - software units that lack documentation and cannot be scrutinised internally. I specialise in applying Machine Learning and other data analysis algorithms to the specific activities of testing, reverse-engineering, and safety-case assessment.

I studied my Ph.D. (2002-2005) at the University of Strathclyde on the use of static analysis to support software inspections. I subsequently spent five years (2005-2010) as a postdoc at the University of Sheffield, working on state machine inference and software testing (an area in which I am still active). This was followed by 8 years as a Lecturer then Senior Lecturer / Associate Professor at the Department of Informatics at the University of Leicester. I took up my current position as a Senior Lecturer at the University of Sheffield in 2018.

Programme Committees