Karen Smith

William Fulton Distinguished University Professor of Mathematics, Professor of Mathematics and Chair, Department of Mathematics, College of Literature, Science, and the Arts

Algebraic geometry and commutative algebra

I work in algebraic geometry, especially over finite fields. The set of points on an algebraic variety over particular subfields forms an interesting sequence of data sets. Studying it may, I hope, unlock some secrets of algebraic curves or surfaces or higher dimensional objects.

I am also interested in connecting statistical forms of AI (machine learning, large language models) with symbolic deductive reasoning (“proof-checkers” like Lean or Coq).