Stephan Kreutzer

Dr Stephan Kreutzer

Reader in Computer Science
Non-Tutorial Fellow, Linacre College

+44 (0)1865 6 10759
+44-1865-273 839 (Fax)

Room 309, Wolfson Building, Parks Road, Oxford OX1 3QD

My research interests are in logic in computer science, in particular

Locally Excluding a Minor

Anuj Dawar, Martin Grohe and Stephan Kreutzer

In Logic in Computer Science (LICS) pages 270-279. 2007.

Model theory makes formulas large

Anuj Dawar et al.

In International Colloquium on Automata, Languages and Programming (ICALP) Vol. 4596 of Lecture Notes in Computer Science, pages 913-924. 2007.

On the Parameterised Intractability of Monadic Second-Order Logic

Stephan Kreutzer

Computer Science Logic (CSL), 2009.

themes	Information Systems
projects	Analysis of evaluation and satisfiability problems
student	Sebastian Ordyniak