Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
Joe Hendrix
joehendrix
I'm interested in program analysis, software assurance, and generally making software developers more productive.
Applied Scientist at Amazon Portland, OR
TLA+
tlaplus
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
Conal Elliott
conal
Play/learn/work with me: https://github.com/conal/Collaboration
(open to employment) San Andreas, California, USA
Cathie Yun
cathieyun
Interested in bridging the gap between research and applied cryptography.
United States
Montgomery Edwards⁴⁴⁸
x448
Cryptography, data security, privacy, and digital rights management.
United States
Chris Lin
ChrisLinn
Alt for https://github.com/0xmountaintop; LinkedIn: http://linkedin.com/in/haoyu-lin-239474123. POISONed.
Beijing, China
Nicolas M.
penguwin
DevSecOps | Vibe driven development | Failure is not an Option<T>
its a Result<T, E>
Augsburg University of Applied Sciences Augusta Vindelicorum
Christian Muehlhaeuser
muesli
Geek, Gopher, Software Developer, Maker, Opensource Advocate, Tech Enthusiast, Photographer, Board and Card Gamer.
Sofía Celi
claucece
Cryptography @brave and honorary fellow Uni Bristol. hprc co-chair @IRTF-HRPC anti-fraud co-chair @w3c PQUIP co-chair at @ietf-wg-pquip Previously @cloudflare
@brave AMS/LIS/UIO
PreviousNext