KC Sivaramakrishnan
kayceesrk
IIT Madras and Tarides Chennai, India
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
Anil Madhavapeddy
avsm
Professor of Planetary Computing, University of Cambridge
University of Cambridge Cambridge, UK
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