Maria Sokolova

Research Groups

Biography

I am a software developer in the Kotlin Libraries Team at JetBrains, working on verification of concurrent data structures and algorithms, coroutines and support of idiomatic usage of atomic operations in Kotlin. Graduated from ITMO University.