Prof. Mark Batty

Batty is an expert in formal specification of mainstream systems, focusing on concurrency and the C and C++ languages. He is a Professor at the University of Kent. He has been funded by the EPSRC, the Royal Academy of Engineering (RAEng), GCHQ, VeTSS, and is a Principal Investigator of two UKRI DSbD projects.

Dr. Michael Vollmer

Vollmer is a Lecturer at the University of Kent, previously working at Indiana University. His research focuses on type systems and compiler implementation, with the aim of closing the performance gap between safe, elegant, high-level code and hand-optimised, fragile, low-level code.

Dr. Simon Cooksey

Cooksey is an expert in tool building for validation of programming language semantics. He combines the skills of a systems implementer with an understanding of formal semantics for programming languages. He has worked at British semiconductor company XMOS, at the University of Kent as a Research Fellow, and now works at NVIDIA.

Sarah Harris

Harris has extensive experience with the Rust programming language, and with experimental systems programming. She has worked on the Atomic Weapons Establishment initiative to provide a trusted disassembler for AVR code, and on functional verification of the QEMU emulator for the AVR architecture. Her systems programming skills drive the changes needed to port the Rust compiler to the Morello architecture.