School of Computing

Mark Batty

Senior Lecturer

Photo of MJ Batty, if available
  • Room SW10
    School of Computing
    University of Kent,
    CT2 7NF


My publications are available from the University of Kent's Academic Repository.

Research Interests

I belong to the following research groups:

I develop rigorous mathematical specifications, testing tools, and verification techniques for real-world concurrent systems, focusing on established interfaces (e.g. C, C++ and, OpenCL) and concrete testable artefacts (e.g. x86, Power, ARM CPUs, and Nvidia, AMD GPUs). My interests span a variety of complementary topics including: empirical testing of the behaviour of hardware and compilers, building formal models of parts of the system, the development of algorithms and data-structures that use fine-grained concurrency, and the verification of those pieces of concurrent code.

If you are interested in discussing the possibility of studying for a PhD related to these topics, please do get in touch. The University of Kent has a variety of internal funding that one can apply for, with deadlines throughout the year.


For more details, see my CV and my thesis.

Conference Papers

Workshop Papers

C++ Standard Committee Papers

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 26/02/2017