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, ...
I contribute to the tools that help software developers write and verify their code.
I study the dynamics of programs and programming, that is how programs compute and evolve.
I used to taught computer science principles and techniques at University of Paris.
I help people interested in computer science, especially software development, to learn from each other: students, teachers, researchers, engineers, industrials, the public at large...