Researcher in Programming Language Theory and Formal Verification.
-
JetBrains Research
Mohammad Hossein Khoshechin Jorshari
joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
Germany
Samra Mehboob
SamraMehboob
PhD Student in Computer Science Research Associate in the Software Quality Group Ruhr University Bochum (RUB)
Bochum, Germany
Dmitry Nekrasov
DmitryNekrasov
@Kotlin Libraries Senior Software Developer
@JetBrains Yerevan, Armenia
Naomi Spargo
naomiiiiiiiii
These days most of my work is done on a private gitlab instance ):. But I still use github sometimes!
Arlington, VA
YOUNG KIRK
Adjanour
CTO-in-training | Learning by building systems that matter | Focused on scalable tech, thoughtful design, and Africa’s digital future 🇬🇭
@Orctatech-Engineering-Team Ghana
Emanuele Merveille
Merveille94
Msc Engineering Physics || ALX Software Engineering Graduate || Design, Automation System Engineer Anthusiast.
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