+44 1865 273537
Address
University of Oxford
Andrew Wiles Building
Radcliffe Observatory Quarter
Woodstock Road
Oxford
OX2 6GG
Recent Books:
Non-archimedean tame topology and stably dominated types
Non-Archimedean Tame Topology and Stably Dominated Types
page 1-216
(1 March 2016)
Recent Publications:
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)
Research Interests:
Model Theory, and connections.
Currently teaching Topics in Model Theory, Thursdays 2-4.
https://www.dropbox.com/s/5eziuaduwu2rclb/GVFclass2018.pdf?dl=0
https://www.dropbox.com/s/ujayqvodwm4z77y/gvf2-post.pdf?dl=0
(Updated May 15, 2018; see section 12)