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
issue 192
volume 192
page 1-216
(1 January 2016)
Recent Publications:
Ax's theorem with an additive character
EMS Surveys in Mathematical Sciences
issue 1
volume 8
page 179-
(1 January 2021)
Valued fields, metastable groups
Selecta Mathematica
issue 3
volume 25
(23 July 2019)
Polynomial invariants for affine programs
LICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
page 530-539
(9 July 2018)
Polynomial Invariants for Affine Programs
CoRR
volume abs/1802.01810
(1 January 2018)
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