Status:
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:
Definable equivalence relations and zeta functions of groups (with an appendix by Raf Cluckers)
JOURNAL OF THE EUROPEAN MATHEMATICAL SOCIETY
issue 10
volume 20
page 2467-2537
(18 July 2018)
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)
Definable equivalence relations and zeta functions of groups
Journal of the European Mathematical Society
issue 10
volume 20
page 2467-2537
(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