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.
Fedor Shmarov is a Research Associate in the Department of Computer Science at The University of Manchester. His research expertise include model checking and formal verification of stochastic hybrid systems.
Kaled Alshmrany is a PhD candidate at The University of Manchester and a Faculty Member at The Institute of Public Administration (IPA), Saudi Arabia. He is a lead developer of the tool FuSeBMC.
SCorCH will be guided by an advisory board consisting of the following: