Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Tom Ridge
tomjridge
Ex-academic. Currently working as a programmer, particularly with OCaml, golang, Python, AWS. Interested in reliable systems.
UK
Craig Stuart Sapp
craigsapp
Visiting professor at The Fryderyk Chopin Institute, researcher at CCARH/φ.
Packard Humanities Institute California
Xavier Leroy
xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming
Collège de France and Inria Paris, France
Joomy Korkut
joom
Formal verification and programming languages researcher.
@Bloomberg New York City
Ulrik Buchholtz
UlrikBuchholtz
Assistant Professor with the Functional Programming Lab, School of Computer Science, University of Nottingham.
❤️ Homotopy Type Theory/Univalent Mathematics
University of Nottingham
Netherlands Coding Live
netherlands-coding-live
Netherlands Coding Live aka <NL_CL> a pop-up space for engaging with Live Coding through practice, experimentation, openness, discussion and performance.
The Netherlands
Vladimir Voevodsky
vladimirias
Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, http://dangrayson.com/.