Dr. Stephan Kreutzer
Professor of Computer Science
Fellow of Linacre College
| :: | :: | Research/Projects | :: | :: | :: |
| Hilary Term 2009 |
|
Lecture: Logic and Proof
|
| Michaelmas Term 2008 |
|
Lecture: Computational Complexity
|
| Michaelmas Term 2007 |
|
Lecture: Computational Complexity (accessible only from Oxford)
|
Lectures given at the Humboldt-University Berlin
| Summer term 2007 |
|
Lecture: Anwendungen von Graphzerlegungen in Algorithmik und Logik (in german)
|
||||
|
||||
|
||||
| Winter term 2006/2007 |
|
Lecture: Logic, Games, and Automata (in german)
|
||||
|
||||
|
||||
| Summer term 2006 |
|
Seminar: Games in Computer Science (in german)
|
||||
|
||||
|
||||
| Winter term 2005/2006 |
|
Lecture: SAT-Solving und Constraint-Satisfaction Probleme (in german)
|
||||
|
||||
|
||||
|
||||
| Summer term 2005 |
|
Lecture: Logik und
Komplexität (jointly with Prof. Dr. Nicole
Schweikardt, in german)
|
||||
|
||||
|
||||