craiig
PhD from University of British Columbia. Loves computer architecture, compilers, and data processing. Now in prod.
Vancouver, BC
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA
Narazaki, Shuji
shnarazk
Ph.D. of Eng., developing SAT solvers, 🎄Advent of Code: 5️⃣2️⃣4️⃣⭐️⭐️. 🩷Helix/Lean4/Nix/Rust/Typst/Zed/mod. Engram ⌨️layout on Ferris Bring
🤷 Japan, Asia
Grant Passmore
grantpassmore
Cofounder of Imandra (imandra.ai) and Life Member of Clare Hall, Univ. Cambridge; creator of Imandra; proving theorems about algorithms!
Imandra Inc Austin, TX
Mihir Mehta
airbornemihir
CS doctoral student at UT Austin, former Samsung R&D engineer, CSE graduate from IIT Delhi
Bart Massey
BartMassey
Assoc Prof CS. Long-time open tech participant / advocate.
Portland State University Portland, OR USA