Francois Pottier

Personal information


Senior researcher at INRIA, Rocquencourt, France.


Programming languages and type systems. Proofs of programs.

History


9 years 42 weeks