Cryspen
Ken Nickerson
kcnickerson
Maker, Coder, Hacker, MaveriX, XanaduAI, HorizonIO, CDL, i6, xdTaz, xOmers, xFlixel, xRthm, xKobo, xOpenCola, xMicrosoft, xRogers, xBanks, xXs
iBinary LLC Toronto, ON
Catalin Hritcu
catalin-hritcu
Tenured Faculty at Max Planck Institute for Security and Privacy (MPI-SP)
MPI-SP Bochum, Germany
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Sofía Celi
claucece
Cryptography @brave. hprc co-chair @IRTF-HRPC anti-fraud co-chair @w3c PQUIP co-chair at @ietf-wg-pquip Previously @cloudflare @thoughtworks @dyne
@brave AMS/LIS/UIO
