The SCorCH team is spread between the University of Manchester and the University of Oxford.
Tom Melham is a Professor in the Department of Computer Science at the University of Oxford. He is an expert in formal hardware verification, model checking, and theorem proving.
Daniel Kroening is a Senior Principal Scientist at Amazon Web Services and a Professor in the Department of Computer Science at the University of Oxford. He is well known for his contributions to model checking and decision procedures for automated software analysis. He leads the development of the CBMC model checker.
Mustafa A. Mustafa
Mustafa A. Mustafa is a Dame Kathleen Ollerenshaw Research Fellow in the Department of Computer Science at The University of Manchester. His research expertise includes information security, data privacy and applied cryptography.
SCorCH will be guided by an advisory board consisting of the following: