University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Stephan Kreutzer

Personal photo - Stephan Kreutzer
Dr Stephan Kreutzer
Professor of Computer Science
Former Member
Non-Tutorial Fellow, Linacre College


My research interests are in logic in computer science, in particular
  • computational model theory,
  • applications to graph algorithms,
  • finite model theory,
  • database and descriptive complexity theory,
  • verification.




Personal Page: contact details and further information

Selected Publications

View all

Manage publications

On Brambles‚ Grid−Like Minors‚ and Parameterized Intractability of Monadic Second−Order Logic

Stephan Kreutzer and Siamak Tazari

In Symposium on Discrete Algorithms (SODA). 2010.

On the Parameterised Intractability of Monadic Second−Order Logic

Stephan Kreutzer

In Computer Science Logic (CSL). 2009.

Algorithmic Meta−Theorems

Stephan Kreutzer

In International Workshop on Exact and Parameterized Computation (IWPEC). 2008.



Completed Projects

Past Student