EPSRC logo
Researcher Details
Name: Dr M Batty
Organisation: University of Kent
Department: Sch of Computing
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Software Engineering

Current EPSRC Support
EP/V000470/1 CapC: Capability C semantics, tools and reasoning(P)
EP/R032971/1 Verifiably Correct Transactional Memory(P)
Previous EPSRC Support
EP/R020566/1 Compositional, dependency-aware C++ concurrency(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator