Artem Gureev

Education:

  • September 2020 - present:
    MSc in Mathematics, University of Western Ontario
  • September 2016 - May 2020:
    BA in Mathematics and Philosophy, Boston University (Summa Cum Laude, Honors)

Teaching Experience:

  • Spring 2020:
    Axiomatic Set Theory
  • Summer 2019:
    Theorem Proving in Lean
  • Spring 2019:
    First-Order Logic

Software Experience:

  • Lean
  • Coq
  • Agda