Stephan Kreutzer

Dr Stephan Kreutzer

Reader in Computer Science
Non-Tutorial Fellow, Linacre College

+44 (0)1865 6 10759

My research interests can broadly be described as applications of logic to computer science, in particular

Computing Excluded Minors

Isolde Adler, Martin Grohe and Stephan Kreutzer

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

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.

Locally Excluding a Minor

Anuj Dawar, Martin Grohe and Stephan Kreutzer

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

themes	Computational Biology
student	Sebastian Ordyniak

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