Short CV

Education

2000-2003        PhD, Computer Science. King's College, London.
                            Thesis Title:  Proof Theory for Propositional Fuzzy Logics

1997-1998        MSc, Artificial Intelligence. Edinburgh University.
                            Awarded Masters Degree with Distinction.

1993-1996        BA, Mathematics and Philosophy. St. Anne's College, Oxford.
                            Awarded First Class Honours Degree.

Employment History

2009-                Assistant Professor. Mathematics Institute, University of Bern.

2006-2009        Assistant Professor (NTT). Department of Mathematics, Vanderbilt University, Nashville.

2004-2006        Marie Curie Fellow. Department of Mathematics, Vienna University of Technology, Vienna.

2003-2004        Research Associate. Department of Computer Science, King's College, London.

1999-2000        Naval Scientist. DERA Portsdown West, Portsmouth.

1996-1997        English Language Teacher. Podebrady, Czech Republic.

Awards and Honours

Marie Curie Individual Fellowship. Grant HPMF-CT-2004-501043, 2004-2006.

EPSRC Doctoral Training Studentship. Grant 0030638X, 2000-2003.

Innovation Award. DERA Portsdown West, 1999.

Xerox Prize for Best MSc Project. Edinburgh University, 1998.

EPSRC Masters Training Studentship. 1997-1998.

Junior Mathematics Prize (awarded for best Finals results in the Joint Mathematics Schools). Oxford University, 1996.

St. Anne's Scholar (awarded for First Class examination results). St. Anne's College, Oxford, 1994-1996.