Skip to main content

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.

Selected Publications

View AllManage publications

Past Student