Chris Fallin
cfallin
Software engineer with a focus on compilers. Currently hacking on WebAssembly-related technologies at Fastly.
Fastly Sunnyvale, CA, USA
protty
kprotty
Programmer with a focus on server side optimization, compilers and all things close to hardware.
Fredrik Johansson
fredrik-johansson
Computer algebra, high-precision arithmetic
INRIA & Institut de Mathématiques de Bordeaux Bordeaux, France
Sam Sartor
samsartor
MS/PhD Student at William & Mary. I love making pretty things, ideally with Rust. Check out my GitLab.
Williamsburg, VA
Lionel Parreaux
LPTK
Assistant Professor at the Hong Kong University of Science and Technology, CSE department
HKUST
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
Talia Ringer
tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.
Champaign, IL
Jared Roesch
jroesch
CTO @ OctoML, PMC @ Apache TVM, PhD @ UW. Previously Rustc, Lean & F* hacker.
OctoML Seattle, Washington
PreviousNext