Jean-Yves Girard is a French mathematician working in proof theory. His contributions include a proof of strong normalization in a system of second-order logic called system F; and the invention of linear logic.
Girard is a research director of CNRS in Marseilles and a corresponding member of the French Academy of Sciences.
External links