EPSRC logo
Researcher Details
Name: Professor M Batty
Organisation: University of Kent
Department: Sch of Computing
Current EPSRC-Supported Research Topics:
Computer Sys. & Architecture Fundamentals of Computing
Software Engineering

Current EPSRC Support
EP/X015076/1 Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)(P)
EP/X021173/1 Transparent pointer safety: Rust to Lua to OS Components(P)
EP/V000470/1 CapC: Capability C semantics, tools and reasoning(P)
Previous EPSRC Support
EP/R032971/1 Verifiably Correct Transactional Memory(P)
EP/R020566/1 Compositional, dependency-aware C++ concurrency(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator