Photo

Mark Batty

Email: mark.batty@cl.cam.ac.uk
Address: Computer Laboratory
Telephone: +44-1223-763-656
CV

I am an RA working with Peter Sewell.



Publications

Conference Papers

Workshop Papers

C++ Standard Committee Papers