Skip to content
@jcp19
João Pereira jcp19
Formal Methods & PL, Program Analysis, Distributed Systems

ETH Zurich

@XiaomingX
Y11 XiaomingX
Software Dev @ X | Linux, Java, Spring, Python, Go, Next.js | Open Source Enthusiast | LLM Innovator | M.Sc. in Software Engineering 🚀

uhaka japan

@galin-chung-nguyen
Galin (Chung) Nguyen galin-chung-nguyen
Zero-knowledge proof

tracuusaoke Vietnam

@mmcloughlin
Michael McLoughlin mmcloughlin

Aurora Innovation Pittsburgh, PA

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer Previously Apple Pay Security

Lafayette, Indiana

@yokurang
Alan Matthew yokurang
let me think about it
@iamoeg
Oussama EL GHANNAMI iamoeg
Just a nerd doing nerdy things 🤖

Morocco

@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS & RPTU / Computer Science / Interested in Formal Methods / Distributed Systems / Concurrency Theory

Germany

@VikramGoyal23
Vikram Goyal VikramGoyal23
Hi! I'm a CS student from NUS who loves formal verification!

Singapore

@jamestiotio
James R T jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke

@aruba The edge of knowing

@HALOCORE
Wang Bo HALOCORE
CS PhD@NUS

Singapore

@minalspatil
Minal S Patil minalspatil
Explainable AI, Machine Reasoning

Umeå universitet Umeå, Sweden