Home

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 Contact GitHub: @yurug X: @yurug

Presentations and talks I’ve given. More coming soon.