Dr Neil Walkinshaw

简介

Dr. Neil Walkinshaw is a Senior Lecturer and head of the ASET group. He is interested in testing or fuzzing "hard-to-test" systems such as computational models or cyber-physical systems. Recent work has involved the application of Causal Inference techniques to establish and test Metamorphic properties, using Subjective Logic to reason about uncertainty in state-based software systems, and using asymptotic properties of ML algorithms to reason about test saturation.