Maria Sokolova

Software developer in the Kotlin Libraries Team. Also, part of the Concurrent Computing Lab at JetBrains working on verification of concurrent data structures and algorithms.