Home » user account

Francois Pottier

Personal information


Senior researcher at INRIA, Rocquencourt, France.


Programming languages and type systems. Proofs of programs.

History


17 years 44 weeks