+44 1865 273537
University of Oxford
Andrew Wiles Building
Radcliffe Observatory Quarter
Polynomial invariants for affine programs
Proceedings - Symposium on Logic in Computer Science volume Part F138033 page 530-539 (9 July 2018)
Polynomial Invariants for Affine Programs.
LICS page 530-539 (2018)
On subgroups of semi-abelian varieties defined by difference equations
Transactions of the American Mathematical Society issue 5 volume 369 page 3673-3705 (1 January 2017)
Non-archimedean tame topology and stably dominated types
Annals of Mathematics Studies issue 192 volume 2016-January page 1-216 (1 January 2016)
Model Theory, and connections.
Currently teaching Topics in Model Theory, Thursdays 2-4.
(Updated May 15, 2018; see section 12)