Jean-Yves Girard

From Wikipedia, the free encyclopedia
  (Redirected from J.-Y. Girard)
Jump to: navigation, search
Jean-Yves Girard
Born 1947 (age 66–67)
Nationality French
Fields Mathematics
Institutions CNRS
Alma mater École normale supérieure de Saint-Cloud
Paris Diderot University
Doctoral advisor Jean-Louis Krivine
Doctoral students George Koletsos
Yves Lafont
Laurent Regnier

Jean-Yves Girard (born 1947) is a French logician working in proof theory. His contributions include a proof of strong normalization in a system of second-order logic called system F; the invention of linear logic; the geometry of interaction; and ludics. More importantly, he also invented the Mustard Watch, writing under the pseudonym "Yann-Joachim Ringard".[1]

Alumnus of the École normale supérieure de Saint-Cloud, Girard is a research director of CNRS in Marseille and a corresponding member of the French Academy of Sciences.


External links[edit]