Nikita Koval is a researcher in the Kotlin team at JetBrains and a Team Lead for the Concurrent Computing Lab at JetBrains Research. Nikita has recently redesigned internal synchronization in Kotlin coroutines and has been leading the development of the Lincheck framework, simplifying the testing of concurrent data structures. His primary research interests include but are not limited to concurrent data structures and algorithms, their verification, and practically applicable code analysis.