- Menlo Park
Highlights
- Pro
Soumith Chintala
soumith
/\︿╱\ _____________________________
\0_ 0 /╱\╱________________________
\▁︹_/
Meta New York, USA
Oliver Bračevac
bracevac
Problems worthy
of attack
prove their worth
by hitting back.
-- Piet Hein
Working on Scala @ EPFL
Paolo G. Giarrusso
Blaisorblade
Formal Methods Engineer at Bedrock Systems Inc. — Iris/Coq/λ calculus/Haskell/Agda
Bedrock Systems Inc. Berlin, Germany
Yuxuan Chen
yuxuanchen1997
I work on the Clang Compiler and libc++ at @facebook
Meta Platforms, Inc. @facebook Menlo Park, CA
Guannan Wei
Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers
Tufts University
Vlad Ureche
VladUreche
Author of @miniboxing and software engineer @google. Proud to have worked at @CyberhavenInc and the @scala team at @lampepfl.
@google Zurich, Switzerland
Li Yao
lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Rocq.
Portland State University Portland, OR
Aggelos Biboudis
biboudis
Java Platform Group, Java language and tools (official name: Angelos Bimpoudis)
@openjdk
@Oracle Zurich
PreviousNext