Biography
Mark Batty has played a key role in the effort to building foundational specifications for mainstream systems, focusing on concurrency in the pervasive C and C++ languages.
He is a Professor at the University of Kent and lead of the Programming Languages and Systems group there. He has been funded by the EPSRC, the Royal Academy of Engineering (RAEng), GCHQ, VeTSS, and was a Principal Investigator in the first and second round of UKRI DSbD projects.
CHERI Talks
- Rust for Morello: Always-On Memory Safety, Even in Unsafe Code | CHERI Blossoms 2025 — 02/04/2025, Cambridge, UK