Avatar

Yann Régis-Gianas

Software Engineer

Nomadic Labs

yannregis-gianas.org

PGP: C0FFD948E824FF8E


Interests

Smart Contracts, Programming, Teaching Software Development, Proof Mechanization, Software Evolution, Certification, Verification, POSIX, Type Systems, Semantic of Programming Languages, Static Analysis, Parsing, Incremental Computation, Developer Communities, ...

Current projects


Research

I study the dynamics of programs and programming, that is how programs compute and evolve.

Publications