Supervisor's projects
| Project name Sort descending | Type |
|---|---|
| Building consistent world states for an autonomous agent | Honours and Masters project |
Co-supervising
| Project name Sort descending | Type | Primary supervisor |
|---|---|---|
| Efficient exploration of consistent worlds | Honours and Masters project | Alexey Ignatiev |
| Optimising the world's combinatorial choices | Honours and Masters project | Peter Stuckey |