Skip to content
View eupp's full-sized avatar
  • JetBrains Research

Organizations

@JetBrains-Research @weakmemory

Block or report eupp

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory

Germany

@inemtsev
Ilya Nemtsev inemtsev
Build codebases that everyone can enjoy

Bangkok, Thailand

@SamraMehboob
Samra Mehboob SamraMehboob
PhD Student in Computer Science Research Associate in the Software Quality Group Ruhr University Bochum (RUB)

Bochum, Germany

@IRus
Ruslan Ibrahimau IRus
Engineer, Developer, Speaker

@Heapy

@DmitryNekrasov
Dmitry Nekrasov DmitryNekrasov
@Kotlin Libraries Senior Software Developer

@JetBrains Yerevan, Armenia

@24601
Basit Mustafa 24601
Tell your agents I said hi.

carcinize corp Telluride, CO

@naomiiiiiiiii
Naomi Spargo naomiiiiiiiii
These days most of my work is done on a private gitlab instance ):. But I still use github sometimes!

Arlington, VA

@parsaa74
Parsa Azari parsaa74
Developer/Designer
@standardgalactic
Cogito Ergo Sum standardgalactic
𝘏𝘰𝘮𝘦 𝘰𝘧 𝘵𝘩𝘦 𝚂𝚝𝚊𝚗𝚍𝚊𝚛𝚍 𝙶𝚊𝚕𝚊𝚌𝚝𝚒𝚌 𝙰𝚕𝚙𝚑𝚊𝚋𝚎𝚝

Xanadu Canada

@bugarela
Gabriela Moreira bugarela
Building @quint-co

@quint-co Joinville, SC - Brazil

@Adjanour
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

@Merveille94
Emanuele Merveille Merveille94
Msc Engineering Physics || ALX Software Engineering Graduate || Design, Automation System Engineer Anthusiast.
@zhelenskiy
Evgeniy Zhelenskiy zhelenskiy
ITMO CTD graduator

@JetBrains Belgrade, Serbia

@dmitrii-artuhov
Dmitrii Art dmitrii-artuhov
SWE Enthusiast, Computer Science student

God knows where 😳

@sureshg
Suresh sureshg
☕️ Backend Developer | Kotlin | Java | Kotlin Multiplatform (JVM | Native | Wasm/JS)
@gabryon99
Gabriele Pappalardo gabryon99
Software Engineer @ JetBrains. M.Sc in Computer Science @ University of Pisa (Italy)

JetBrains Munich, Germany

@0xfederama
Federico 0xfederama
Software Engineer at Satispay @federicoramacciotti-satispay

Italy

@SeshatCZ
SeshatCZ

Czech republic

@vitek999
Viktor Noskin vitek999
Kotlin developer

@adeo Россия, Волгоград

@vsalavatov
Vadim Salavatov vsalavatov

@JetBrains Berlin, Germany

@gabriel-fallen
Alexander Chichigin gabriel-fallen
ML/Software Engineer. Commit juggler.

Kontur Tbilisi, Georgia

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid

@anton-trunov
Anton Trunov anton-trunov
Compilers, AI, formal verification

https://www.cerebras.ai Dubai

@volodeyka
Vladimir Gladshtein volodeyka
I do formal verification with interactive theorem provers

National University of Singapore Singapore

@dvvrd
Dmitry Mordvinov dvvrd
Researcher in formal methods
@IrinaShkviro
Irina IrinaShkviro

@google Zurich, Switzerland

@VladimirGl
Glazachev Vladimir VladimirGl

Saint-Petersburg State University Saint Petersburg

@vlad24
Vlad Pavlov vlad24

@deliveryhero Germany