Home » user account

Matthieu Sozeau

Personal information


http://mattam.org

PhD student in Computer Science at LRI (http://www.lri.fr).
I work on an environment for programming with dependent types in the Coq proof assistant.


Functional programming, type theory and type systems.

History


2 years 9 weeks