rudynicolop
Follow
Alexandre Piveteau
alexandrepiveteau
PhD Candidate at EPFL.
Previously Co-Founder @traak-sps and Software Engineer at @migrosonline @milkinteractive @culturedcode.
EPFL Lausanne, Switzerland
Emilio Jesús Gallego Arias
ejgallego
“La perfection est atteinte, non pas lorsqu'il n'y a plus rien à ajouter, mais lorsqu'il n'y a plus rien à retirer.”
Inria Paris
Maja Kądziołka
meithecatte
Systems software toucher. Functional programming enjoyer. Alleged math nerd. Fascinated by compilers and proof assistants.
Probably near my computer
YOSHIHIRO Imai
yoshihiro503
CEO of proof ninja, Inc.
Coq proof developer
@proof-ninja, Inc Chiba, Japan
Albert
cerfedino
24 y/o from Italy.
ETHZ CS MSc student in Zürich, Switzerland
ETHZ | Adfinis AG Zürich, Switzerland
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
OCamlPro
OCamlPro
OCamlPro is a French company with a strong expertise in programming languages & formal methods, with 10+ years' experience in state-of-the-art developments.
Paris & Saclay
Stephanie Weirich
sweirich
Wish I had more time to code. And by code, I mean prove things.
University of Pennsylvania Philadelphia
Nils Lauermann
Nils-Lauermann
PhD Student in Computer Science (PL) at the University of Cambridge
University of Cambridge Cambridge, UK
Isaac van Bakel
ivanbakel
Haskell developer, programming language & formal verification theorist
PreviousNext