Chris Fallin
cfallin
Software engineer with a focus on compilers. Currently hacking on WebAssembly-related technologies at F5.
F5 Sunnyvale, CA, USA
Jasper Bekkers
Jasper-Bekkers
CEO at Traverse Research. Currently working hard on Evolve! Previously at Frostbite, OTOY, EA/SEED and Embark Studios.
The Netherlands
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC
Christa Jenkins
cwjnkins
Postdoctoral researcher at Stony Brook University, working on programming language theory and security. Ph.D from University of Iowa.
Stony Brook University
Aaron Stump
astump
I am a professor of Computer Science at The University of Iowa.
The University of Iowa Iowa City, Iowa, United States
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Yoann Padioleau
aryx
I like to code and do research on stuff to make it easier to code stuff
Perugia, Italy
Jake Taylor
yupferris
dad(jokes), demoscene, rendering, compilers, compression, FPGA, emulation, music production
Arm Oslo, Norway
Adrien Champion
AdrienChampion
Independent R&D Engineer in Lean 4 and Rust (and OCaml if I have to)
anzenlang La Rochelle, France
PreviousNext