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 of concurrent programs and weak memory models.

Scholar ScholarORCID logo ORCIDGitHub logo GitHub

Gmail logo evgeniy.moiseenko@jetbrains.com

Selected Publications