Quantify Earth
quantifyearth
Quantifying environment data around the globe, by the Cambridge Conservation Initiative at the University of Cambridge.
United Kingdom
Anil Madhavapeddy
avsm
Professor of Planetary Computing, University of Cambridge
University of Cambridge Cambridge, UK
Frederik Hanghøj Iversen
fredefox
Languages, functional programming, type theory and logic.
Penneo Copenhagen, Denmark
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
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