Neil Walkinshaw
Senior Lecturer at The University of Sheffield
Sheffield, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolNeil Walkinshaw is a Senior Lecturer and researcher in Software Engineering at the University of Sheffield, specializing in testing and analysis of systems that are traditionally hard to test—such as scientific models, cyber-physical systems, and autonomous driving platforms. With a PhD and over 15 years teaching experience plus nine years in academic roles spanning research associate to associate professor, he builds automated and semi-automated tools that combine reverse-engineering, machine learning, and testing to infer behavioral models from execution traces. His work targets practical problems: huge input spaces, long runtimes, and non-determinism, producing techniques that help maintain and quality-assure complex software. He has a strong track record of EPSRC- and EU-funded projects and a research trajectory that neatly ties his PhD static-analysis roots to contemporary ML-driven testing. Colleagues know him for teaching applied skills that anticipate emerging problems, and for translating theoretical advances into usable tooling for real-world systems.
9 years of coding experience
13 years of employment as a software developer
Ph.D., Computer Science, Ph.D., Computer Science at University of StrathclydeBSc, Computer Science, BSc, Computer Science at The University of Sheffield
German, English
Github Skills (17)
testing8
inference6
machine-learning6
causal5
handlers4
perl4
overlapping4
manjaro4
python4
pushpin4
ubuntu3
cran3
causal-inference3
linux2
visualization2
Programming languages (5)
Github contributions (5)
CITCOM-project/subjectiveLogic
Oct 2021 - Jun 2022
Contributions:26 commits, 17 pushes in 7 months
neilwalkinshaw/mintframework
Jun 2018 - Jun 2022
A framework for inference and testing of software behaviour.
Contributions:20 commits, 8 PRs, 34 pushes in 4 years
testinginferencebehaviourmachine-learning
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.