Neil Walkinshaw
@neilwalkinshaw.bsky.social
Lecturer in Computer Science at the University of Sheffield. Researcher interests in software analysis and testing, and their links to causal reasoning and ML.
Developed a pesky running injury. Not looking forward to working through the suggestions illustrated by ChatGPT, especially the straight leg raise...
September 14, 2025 at 8:44 AM
Developed a pesky running injury. Not looking forward to working through the suggestions illustrated by ChatGPT, especially the straight leg raise...
Took on a safety critical systems course this semester.
"NORAD's missile warning system: What went wrong" provides an arresting list of near-misses.
The accidental introduction of "mass raid" test data into the live system must have been especially frightening!
www.gao.gov/assets/masad...
"NORAD's missile warning system: What went wrong" provides an arresting list of near-misses.
The accidental introduction of "mass raid" test data into the live system must have been especially frightening!
www.gao.gov/assets/masad...
November 23, 2024 at 9:12 AM
Took on a safety critical systems course this semester.
"NORAD's missile warning system: What went wrong" provides an arresting list of near-misses.
The accidental introduction of "mass raid" test data into the live system must have been especially frightening!
www.gao.gov/assets/masad...
"NORAD's missile warning system: What went wrong" provides an arresting list of near-misses.
The accidental introduction of "mass raid" test data into the live system must have been especially frightening!
www.gao.gov/assets/masad...