Name:Ilya Kaysin

Country:Russia

Affiliation:National Research University Higher School of Economics, JetBrains Research

Research interests:Programming Languages, Formal Verification, Weak Memory Models, Type Theory