Researcher in Programming Language Theory and Formal Verification.
-
JetBrains Research
Dmitry Nekrasov
DmitryNekrasov
@Kotlin Libraries Senior Software Developer
@JetBrains Yerevan, Armenia
Gabriela Moreira
bugarela
Building Quint at @informalsystems
@informalsystems Joinville, SC - Brazil
YOUNG KIRK
Adjanour
CSE student | CTO-in-training | Learning by building systems that matter | Focused on scalable tech, thoughtful design, and Africa’s digital future 🇬🇭
Africoda
Emanuele Merveille
Merveille94
Biomedical Physics Graduate || ALX Software Engineering Graduate || Aspiring Nuclear Engineer || Reactor Design, Automation System.
Suresh
sureshg
☕️ Backend Developer | Kotlin | Java | Kotlin Multiplatform (JVM | Native | Wasm/JS)
Gabriele Pappalardo
gabryon99
Software Engineer @ JetBrains.
M.Sc in Computer Science @ University of Pisa (Italy)
JetBrains Munich, Germany
Vladimir Gladshtein
volodeyka
I do formal verification with interactive theorem provers
National University of Singapore Singapore