Neil Walkinshaw

Contact details:

Computer Science Building
Department of Informatics,
University of Leicester,
University Road,
LE1 7RH.

T: +44 (0)116 252 3953
F: +44 (0)116 252 3604

Short Bio:

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.

I can also be found on Google Scholar, DBLP, LinkedIn, and (sporadically) on Twitter.


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 the convenor for courses on Software Systems Reengineering and Software Quality Assurance and Measurement. Details can be found on my teaching page.

Administrative roles:

I am a member of the departmental Athena Swan self assessment team.

I am also the departmental publicity officer.

Share this page: