Computer Science Building
Department of Informatics,
University of Leicester,
T: +44 (0)116 252 3953
F: +44 (0)116 252 3604
I am an associate professor in the Department of Informatics at the University of Leicester. My research revolves around the development and application of Machine Learning and Data Analysis algorithms to established problems in the domain of Software Engineering and Quality Assurance.
I am currently also a visiting academic at the University of Sheffield.
Before coming to Leicester in 2010, I spent five years as a post-doctoral researcher with the Verification and Testing group, in the Department of Computer Science at the University of Sheffield. Before that I'd spent three years studying my Ph.D. in the software engineering group (now SoSyg), in the department of Computer and Information Sciences, at the University of Strathclyde in Glasgow.
My research revolves around the development and application of algorithms and associated tools to address established problems, predominantly in the domain of Software Engineering. Specific challenges include the generation and assessment of test sets for black-box systems, the assessment of safety cases for safety-critical systems, and more recently the automatic formulation of higher-order logic proofs.
I have a research page with further details, funding, and publications.
I try to make all of my research software openly available. See my software page for ongoing projects.
I am a member of the departmental Athena Swan self assessment team.
I am also the departmental publicity officer.