Logik i filozof analityczny, wykładowca na Universität Konstanz, a od 2004 roku na wydziale filozofii University of Oxford.
Zajmuje się logiką, filozofią języka, epistemologią i filozofią matematyki, odwołuje się do ustaleń Alfreda Tarskiego. Prowadzi projekt badawczy dotyczący niekompletności w naukach i systemach formalnych.
Jego główne publikacje to: The Logic Manual i Axiomatic Theories of Truth.