Ilya Kaysin

Biography

  • NRU Higher School of Economics (Saint Petersburg), "Applied Mathematics and Information Science", 2018-2019 (bachelor's degree)
  • Saint Petersburg Academic University, "Applied Mathematics and Physics", 2015-2018
  • Graduated from Kirov physics and mathematics lyceum (2015)

Professional Activity

Weak Memory Models, Formal Verification, Functional Programming, Type Theory