PhD Studentship at Bath on "Efficient and Natural Proof Systems"

The Department of Computer Science at the University of Bath is looking for a PhD in the context of the EPSRC project 'Efficient and Natural Proof Systems', working under Alessio Guglielmi and/or Guy McCusker.

In this project, we will define a new proof system which, essentially, will represent proofs as geometric shapes equivalent under continuous deformation. Three areas of mathematics and theoretical computer science concur in the definition of these proof systems: categorical semantics, proof theory and proof complexity. The result of this project will be the completion of three decades of efforts in proof theory that started with linear logic and continued with deep inference.

Application Deadline: 17 April 2013. For more information, see http://www.cs.bath.ac.uk/ag/ENPS/ and http://www.findaphd.com/search/ProjectDetails.aspx?PJID=44514, or contact A.Guglielmi at bath.ac.uk.