Mark Batty

Kent University

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.

Mark Batty

CHERI Talks

CHERI Blossoms 2025

02/04/2025

Cambridge, UK

Video coming soon