Mark Batty

I am a PhD student in the Programming, Logic, and Semantics Group of the Computer Laboratory, under the supervision of Dr. Peter Sewell. I am also a member of Wolfson College.

Undergraduate Project

I am the lab contact for Dr. Jagdish Modi, a potential supervisor for students interested in parallel algorithms. Details of the project can be found here

Contact details

University ID: mjb220
Email: [University ID]@cl.cam.ac.uk
Office: FS17 in the William Gates Building
Telephone: +44-1223-763-656