Yann Régis-Gianas
I am Head of Engineering at Nomadic Labs, where I work on the Tezos blockchain ecosystem.
I study the dynamics of programs and programming — how programs compute and evolve.
Interests
Smart Contracts, Programming, Teaching Software Development, Proof Mechanization, Software Evolution, Certification, Verification, POSIX, Type Systems, Semantics of Programming Languages, Static Analysis, Parsing, Incremental Computation, Developer Communities.
Projects
- Tezos — blockchain with a self-amending protocol
- Learn-OCaml — online learning platform for OCaml
- Menhir — LR parser generator for OCaml
- Morbig — POSIX shell parser