Stephan Kreutzer

Dr Stephan Kreutzer

Reader in Computer Science
Non-Tutorial Fellow, Linacre College

+44 (0)1865 6 10759

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

My research interests can broadly be described as applications of logic to 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.

Computing Excluded Minors

Isolde Adler, Martin Grohe and Stephan Kreutzer

In ACM-SIAM Symposium on Discrete Algorithms (SODA) 2008.

themes	Information Systems
student	Sebastian Ordyniak