University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

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

SHARE THIS: