Мария Соколова

Мария Соколова


Исследовательские группы

Биография

Разработчик в библиотечной команде Kotlin в JetBrains. Занимаюсь верификацией многопоточных алгоритмов и структур данных, корутинами и поддержкой идиоматичного использования атомарных операций в Kotlin. Окончила университет ИТМО.