Cookies

We use cookies to ensure that we give you the best experience on our website. You can change your cookie settings at any time. Otherwise, we'll assume you're OK to continue.

Research

View Profile

Dr Barnaby Martin, BA MSc PhD

Personal web page

Assistant Professor in the Department of Computer Science
Telephone: +44 (0) 191 33 42515

(email at barnaby.d.martin@durham.ac.uk)

I am an Assistant Professor in Computer Science at Durham University in the Algorithms and Complexity Group (ACiD) within the School of Engineering and Computing Sciences. I was previously a lecturer in the Foundations of Computing Group at Middlesex University. Before my permanent appointments I undertook a number of post-doctoral positions in Durham and Paris.

My interests include Complexity Theory in general (Proof Complexity as well as Computational Complexity); Finite Model Theory; and the links between logic and complexity. I am mostly working now on Constraint Satisfaction Problems and their quantifications and other generalisations.

Publications