Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Thomas Sauvage
ThomasSauvage
Third-year student at École polytechnique • Software engineering intern at Cisco
École polytechnique & Cisco Paris, France
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
hehelego
hehelego
stay focused,be motivated.
It is either meaningful or inspiring otherwise just a waste of time.
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
Joachim Tilsted Kristensen
jtkristensen
I am unconditionally exited about all things in computer science. I also really love making, playing and listening to music.
The University in Oslo. 3410 Sylling, Norway.
Jonathan Cubides
jonaprieto
Research Engineer.
Read/write types and proofs for fun and profit.
Better HoTT than cold.
Jordão Bragantini
JoOkuma
Computer vision engineer at @czbiohub-sf. For cell segmentation & tracking office hours, see link below
Chan Zuckerberg Biohub SF
PreviousNext