Tutorial on quantifier elimination over the reals CSL 2003
What is ... a coalitional game? Dagstuhl 2007
Fewnomials and tame topology Durham 2007
Inaugural lecture, Bath 12/03/2008 Text and Slides and Poster
Cutting a ball in two Bath 2010