Masahiro Sakai
msakai
Computer science researcher.
Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.
Noeon Research (@noeon-ai) Kawasaki, Japan
Adam Chlipala
achlipala
Researcher in tools and platforms to help do niftier things with software and hardware
MIT Cambridge, MA
Carl Patenaude-Poulin
carlpaten
Fascinated by programming languages and formal methods. Python, Rust, TypeScript, Coq.
Montreal, QC
Neil Mitchell
ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.
Meta Cambridge, UK
David Luposchainsky
quchen
Likes Haskell. Interested in derived languages (Agda, Idris, Purescript). Would like to learn more about Rust.
Germany
Rebecca Valentine
BekaValentine
Trans dyke based in SF, hacking on @queeriouslabs and other things.
San Francisco
Hongwei Xi
githwxi
As the creator of ATS, he is currently primarily working on designing and implementing and maintaining the ATS3/Xanadu programming language system.
ATS Trustful Software, Inc. Boston, Massachusetts
唐鳳
audreyt
🇹🇼 Cyber Ambassador, 1st Digital Minister (2016-2024) & 🌐 1st 🏳️⚧️ cabinet minister.
@g0v Taiwan
PreviousNext