Avatar

Yann Régis-Gianas

Associate Professor

IRIF (πr²), University of Paris, Computer Science UFR,

yrgirif.fr

+33 1 57 27 90 84

PGP: C0FFD948E824FF8E


Interests

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

Current projects


Research

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

Publications