Lecturer at JetBrains, specialised in programming language theory
Also working on formal verification for Kotlin (SnaKt)
she/they 🏳️‍🌈 🏳️‍⚧️
I like programming languages, formal verification, abstract nonsense, tea, TTRPGs, and books.