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