Michael Foster

Registered user since Thu 6 Apr 2023

Name:Michael Foster
Bio:

I am currently an RA working with Neil Walkinshaw working on the CITCoM project. My research focusses on the use of Causal Inference techniques to address the challenges of testing computational models. These challenges include large input spaces, long runtimes, and nondeterminism.

I studied my PhD (2017-2020) at the University of Sheffield under John Derrick and Achim Brucker on the inference of extended finite state machine models from black-box software execution traces. This covered a number of areas including Genetic Programming, Theorem Proving, and Model Checking.

Country:United Kingdom
Affiliation:University of Sheffield
Research interests:Software testing, Formal methods, Model inference

Contributions