Evgenii Moiseenko


Project maintained by eupp Hosted on GitHub Pages — Theme by mattgraham

I am a researcher at JetBrains Research in the field of programming language theory and formal methods with the main focus on the semantics and verification of concurrent programs.

Scholar ScholarORCID logo ORCIDGitHub logo GitHub

Gmail logo evgeniy.moiseenko@jetbrains.com

Selected Publications