Denis Merigoux
denismerigoux
Starting researcher at Inria, specialized in programming language design
Inria Paris
Ulrik Strid
ulrikstrid
I write stuff in OCaml and Reason, I like the web, CI/CD and OIDC.
Strid Tech AB Gothenburg, Sweden
David Allsopp
dra27
SRE at University of Cambridge; Principal software engineer @tarides; @ocaml and @ocaml-opam core developer; general Windows {apolo,evange}list
University of Cambridge and @tarides Cambridge, UK
Kate
kit-ty-kate
Contractor working on opam (OCaml Package Manager). Previously @tarides / @ocamllabs
--------
Autogestion à toute échelle, pain et liberté.
@ahrefs @ocaml-sf Glasgow, Scotland
Christian Rinderknecht
rinderknecht
I am a senior compiler engineer with a PhD from UPMC and INRIA (France) in formal methods and compiler construction. I program mostly in OCaml. I play the cello
Turnstiles Kft. Hungary
Dylan Moss
DylanMoss1
C++ / Rust / Python Software Dev | Software Engineer @ Squarepoint | MEng, BA Cambridge CS
Theo Brown
theo-brown
PhD Student @ UCL / Visiting Researcher @ UKAEA.
Interested in Bayesian inference, control, and nuclear fusion.
United Kingdom Atomic Energy Authority London, UK
Matthew Sirman
matthew-sirman
Computer Science student at Trinity College, Cambridge.
My primary focusses are on Type Theory, Category Theory and Programming Languages.
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
PreviousNext