Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
David MacQueen
dmacqueen
Works on programming language design, semantics, and implementation. Particularly modules and type systems and type checking, and the SML/NJ compiler.
University of Chicago Los Gatos, CA
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
SiFive
sifive
We bring RISC-V, software, and silicon experts together to innovate with a modern, software-driven approach to semiconductors.
United States of America
Robert Harper
RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.
Carnegie Mellon University Pittsburgh PA
Mark Stoodley
mstoodle
Building Just In Time compilers professionally since 2002, inventor of the JitBuilder library, currently lead for Eclipse OMR and Eclipse OpenJ9
IBM Toronto, Canada
Stefan Marr
smarr
Investigating concurrency, language implementation, and VM technology.
University of Kent Canterbury, UK