Dmitry Khalanskiy

Research Groups

Biography

Dmitry Khalanskiy is a graduate student at SPbAU RAS, as well as a member of the Kotlin Libraries team at JetBrains. As part of his work, he deals with the formal verification of concurrent data structures.Dmitry graduated from the JetBrains masters program at ITMO University in 2019 under the guidance of Valery Isaev.