• Explicit number theory/diophantine geometry​

  • Point counting on elliptic curves & abelian varieties​

  • Applications to post-quantum cryptography

• Diophantine equations and approximation​

  • S-units equations and algebraic tori ​

  • Continued fractions/badly approximable numbers

• Definability and decidability 

  • Hilbert's Tenth Problem over arithmetically significant rings​

  • Computational complexity of decision problems

• Algebraic Model Theory​

  • Transfer principles and o-minimality as applied to algebraic geometry

​