Status:
+44 1865 273537
ORCID iD:
https://orcid.org/0000-0002-2761-6513
Research groups:
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
page 530-539
(9 July 2018)
Polynomial Invariants for Affine Programs.
CoRR
volume abs/1802.01810
(2018)
Definable equivalence relations and zeta functions of groups
Journal of the European Mathematical Society
issue 10
volume 20
page 2467-2537
(1 January 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)
Research interests:
Mathematical Logic, Model Theory
GVF2
https://www.dropbox.com/s/yp4mz0hzvflr9io/gvf2-post-ox.pdf?dl=0
Some talks:
SAGA, Orsay 2016
https://www.dropbox.com/s/a5pgjnhfs8tkw47/saga16.pdf?dl=0
For François Loeser, Banyuls 2018
https://www.dropbox.com/s/rh4gy43svpn8p93/banyuls2018.pdf?dl=0
ICMS, for Dugald Macpherson, 2018
https://www.dropbox.com/s/onmyx1pqw6o17t8/dugald-edinburgh-2018.pdf?dl=0