Kirill Elagin


St. Petersburg Academic University (2015)

  • Ph.D. in Mathematical Logic, Algebra and Number Theory (in progress)

St. Petersburg Academic University (2013—2015)

  • M.Sc. in Applied Mathematics and Physics, summa cum laude
  • Thesis: “On Computational Equivalence of Higher Inductive Types”

ITMO University (2009—2013)

  • B.Sc. in Applied Mathematics and IT
  • Thesis: “Provision of Infrastructure for Execution of Android Applications in a Web Browser”

Research Interests

  • Homotopy Type Theory
  • Dependent Types

Professional Activity