Martin Kellogg
kelloggm
Assistant Professor at the New Jersey Institute of Technology. I work on making software verification practical for developers.
Robby Findler
rfindler
Professor of Computer Science at Northwestern and a core developer of @racket.
Northwestern University, PLT
文言 Wenyan Lang
wenyan-lang
文言文編程語言 A programming language for the ancient Chinese.
The Ancient China
OKX.com
okx
OKX is a world-leading digital asset exchange, providing advanced financial services to traders globally by using blockchain technology.
Singapore
D. Ben Knoble
benknoble
SWE @ CapitalOne. BS/MS in CS and formal methods. Plays clarinet. Enjoys reading and writing (code, English, French). Black belt in Tang Soo Do. Eagle Scout.
CapitalOne Richmond, VA
Fred Fu
capfredf
Yet another typed racketeer who writes untyped code a lot
PLT @ where Dan-scheme was taught
Sam Tobin-Hochstadt
samth
I'm an associate professor at Indiana University, and a core developer of @racket.
PLT @ Indiana University Bloomington, IN