David Richerby
courses given
| Course | Semester | |
|---|---|---|
| Λ07Γ. | Logic, automata and games | 2006-2007, spring semester |
| Λ99Α. | Finite model theory | 2006-2007, fall semester |
| Λ05Δ. | Graph Theory | 2005-2006, spring semester |
| Λ99Α. | Finite model theory | 2005-2006, fall semester |
| 4 courses. | ||
seminars given
| date | title | |
|---|---|---|
| 2006/11/03 | How to kill a Minotaur: An introduction to graph searching | |
| 2006/03/31 | Hilbert's ε-operator | |
| 2005/11/11 | Is there a logic for polynomial time? | |
| 3 seminars. | ||
MSc theses supervised
| title | student | defense |
|---|---|---|
| Succintness of logics on trees | 2007-12-01 | |
| 1 MSc thesis. | ||