David Richerby
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. | ||
Further information
- Teacher profile (for extra information about courses given).