Adam Topaz

Adam Topaz is an Associate Professor at the University of Alberta's Department of Mathematical and Statistical Sciences, specializing in formalized mathematics, algebra, and arithmetic algebraic geometry. He holds a PhD from the University of Pennsylvania and previously served as a postdoctoral researcher at the University of Oxford and the Mathematical Sciences Research Institute. His research focuses on formalization of mathematics using the Lean theorem prover, including contributions to the Liquid Tensor Experiment and maintenance of mathlib.

Key research areas include Galois theory, anabelian geometry, algebraic cycles, Hodge theory, and valuation theory. His work integrates formal methods with traditional mathematical research, emphasizing computational rigor. He has authored over 20 peer-reviewed publications, including foundational work on alternating pairs in valuation theory and categorical foundations of condensed mathematics.

Topaz has received prestigious awards such as the NSF Postdoctoral Fellowship and Carlitz-Zippin Prize. He actively contributes to open-source formal mathematics projects and has supervised multiple PhD and Master’s students. His teaching spans undergraduate and graduate courses in algebra, number theory, and modules.