I am a research fellow at Clare College. I did my PhD at the Computer Laboratory under the supervision of Anuj Dawar, and have been a member of Robinson College. Earlier I studied at the FernUniversität Hagen and the University of Freiburg, and received a M.Sc. and a B.Sc. in Computer Science, as well as a Diplom in Mathematics.

My research interests include category theory, computable analysis, the relationship between physics and theoretical computer science and the application of computability and complexity theory to game theory, the latter being my dissertation topic. A suggestion for a Part II project topic from computability theory can be found here.

My email address is Arno.Pauly(at)cl.cam.ac.uk