Home » user account

Francois Pottier

Personal information


Senior researcher at INRIA, Rocquencourt, France.


Programming languages and type systems. Proofs of programs.

History


16 years 43 weeks