I'm an arithmetic geometer.
Complexity of counting points on curves, and the factor P_1(T) of the zeta function of surfaces, with Diptajit Roy and Nitin Saxena, submitted.
Bounds on torsion in cohomology and an effective version of Deligne's gcd theorem, with Hyuk Jun Kweon, submitted.
Counting points on surfaces in polynomial time, with Nitin Saxena, submitted.
Algorithmic Arithmetic Geometry (PhD thesis).
On variable-bounded non-linear expansions of Presburger arithmetic, with Piotr Bacik, Joris Nieuwveld, Joël Ouaknine, Mihir Vahanwala and Emil Wieser, submitted.
Computing Picard schemes, with Hyuk Jun Kweon, submitted.
In preparation:
Deterministic point counting on surfaces in large characteristic, with Tobias Schnieders.