Yann Régis-Gianas
Software Engineer
yann
regis-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
- Tezos , a blockchain based on a self-amending protocol.
- CoLiS , verification of script shells.
- FreeSpec , certification of effectful systems in Coq.
- Mtac2 , a typed tactic language for Coq.
- Learn-OCaml , an initiative of the OCaml Foundation
Software
I contribute to the tools that help software developers write and verify their code.
Research
I study the dynamics of programs and programming, that is how programs compute and evolve.
Publications
Teaching
I used to taught computer science principles and techniques at University of Paris.
Academic (former) life
I help people interested in computer science, especially software development, to learn from each other: students, teachers, researchers, engineers, industrials, the public at large...