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

Interests

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.

Links

Publications

Teaching

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.

Info

Themes

Completed Projects

Past Student