Team

The SCorCH team is spread between the University of Manchester and the University of Oxford.

Giles Reger

Giles Reger

Giles Reger is a Senior Lecturer in the Department of Computer Science at the University of Manchester. He has joint expertise in automated reasoning and runtime verification. He is a lead developer of the Vampire theorem prover and MarQ runtime verification tool.

Website

Daniel Kroening

Daniel Kroening

Daniel Kroening is 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.

Website

Lucas Corderio

Lucas Corderio

Lucas Cordeiro is a Senior Lecturer in the Department of Computer Science at the University of Manchester. He has joint expertise in software model checking, automated testing, and program synthesis. He leads the development of the ESBMC model checker.

Website

Konstantin Korovin

Konstantin Korovin

Konstantin Korovin is a Senior Lecturer in the Department of Computer Science at the University of Manchester. He has joint expertise in automated reasoning and hardware model checking. He leads the development of the iProver theorem prover.

Website

Pierre Olivier

Pierre Olivier

Pierre Olivier is a Lecturer in the Department of Computer Science at the University of Manchester. He works in systems software with a focus on systems security. He co-designed SlimGuard, a secure and efficient dynamic memory allocator.

Website

Mustafa A. Mustafa

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.

Website

You

You?

We are looking for four talented Research Associates to join the teams in Manchester and Oxford. Could this be you?

Find Out More

You

You?

We are looking for four talented Research Associates to join the teams in Manchester and Oxford. Could this be you?

Find Out More

Advisory Board

SCorCH will be guided by an advisory board consisting of the following: