- CV
- Personal projects
- Resources
Presentations
- dphil-intro.pdf [1.8 MB]
-
watch video
held on 25 February 2008 at Exeter College
Title: Does your computer do what it's supposed to?
Short, non-technical introduction of D.Phil. thesis
- fmcad07-talk.pdf [964 KB]
-
held on 13 November 2007 at FMCAD 2007
Title: Automatic Abstraction in Symbolic Trajectory Evaluation
Conference presentation
- formats07-talk.pdf [384 KB]
-
held on 4 October 2007 at FORMATS 2007
Title: Universality for Timed Automata with Minimal Resources
Conference presentation
- bctcs07-talk.pdf [350 KB]
-
held on 5 April 2007 at BCTCS 2007
Title: Universality for Timed Automata with Minimal Resources
Colloquium presentation