Graduated from Arizona State University with a B.S. in mathematics and a minor in philosophy. Incoming UIowa CS PhD student, with an interest in formalizing mathematics and developing proof assistants.

  • 0 Posts
  • 1 Comment
Joined 1 year ago
cake
Cake day: June 3rd, 2023

help-circle