Log inSign up
user avatar
Yann Régis-Gianas
@yurug
Head of Engineering @nomadiclabs / #tezos #ocaml #functionalprogramming #verification #criticalsystems / Formerly Assoc. Prof at Univ Paris Cité
Paris, France
yann.regis-gianas.org
Joined April 2009
1,827
Following
1,287
Followers