Jean-Yves Girard

Summary

Jean-Yves Girard is a human^[1]. His place of birth was Lyon^[2]. He was born on January 1, 1947^[3]. He worked as a mathematician^[4], philosopher^[5], researcher^[6], and logician^[7]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (86 views/month, #7,263 of 1,000,298).^[8]

Key Facts

• Jean-Yves Girard's place of birth was Lyon^[2].
• Jean-Yves Girard was born on January 1, 1947^[3].
• Jean-Yves Girard held citizenship in France^[9].
• Jean-Yves Girard worked as a mathematician^[4].
• Jean-Yves Girard's professions included philosopher^[5].
• Jean-Yves Girard's professions included researcher^[6].
• Jean-Yves Girard's professions included logician^[7].
• Jean-Yves Girard's field of work was proof theory^[10].
• Jean-Yves Girard held the position of Director of Research at CNRS^[11].
• Jean-Yves Girard was employed by National Center for Scientific Research^[12].
• Jean-Yves Girard's education included a stint at École normale supérieure de lettres et sciences humaines^[13].
• Jean-Yves Girard's doctoral advisor was Jean-Louis Krivine^[14].
• Jean-Yves Girard received the Poncelet Prize^[15].
• Jean-Yves Girard received the CNRS silver medal^[16].
• Jean-Yves Girard was a member of French Academy of Sciences^[17].
• Jean-Yves Girard was a member of Academia Europaea^[18].
• Jean-Yves Girard is recorded as male^[19].
• Jean-Yves Girard's instance of is recorded as human^[20].
• Jean-Yves Girard supervised Vincent Danos as a doctoral student^[21].
• Jean-Yves Girard supervised Yves Lafont as a doctoral student^[22].
• Jean-Yves Girard supervised Arnaud Fleury as a doctoral student^[23].
• Jean-Yves Girard supervised Laurent Regnier as a doctoral student^[24].
• Jean-Yves Girard supervised Marco Pedicini as a doctoral student^[25].
• Jean-Yves Girard supervised Pasquale Malacaria as a doctoral student^[26].
• Jean-Yves Girard supervised George Koletsos as a doctoral student^[27].

Body

Origins and Family

Born in Lyon^[2], Jean-Yves Girard… he was born on January 1, 1947^[3].

Education

Jean-Yves Girard was educated at École normale supérieure de lettres et sciences humaines^[13]. His doctoral advisor was Jean-Louis Krivine^[14]. He studied under Jean-Louis Krivine^[28].

Career and Affiliations

Recorded occupations include mathematician^[4], philosopher^[5], researcher^[6], and logician^[7]. Jean-Yves Girard's field of work was proof theory^[10]. Among his employers was National Center for Scientific Research^[12]. He held the position of Director of Research at CNRS^[11]. Doctoral students include Vincent Danos^[21], a computer scientist^[29], specialised in computer science^[30]; Yves Lafont^[22], a mathematician^[31], b. 1961^[32], of France^[33]; Arnaud Fleury^[23], a researcher^[34]; Laurent Regnier^[24], of France^[35]; Marco Pedicini^[25]; and Pasquale Malacaria^[26].

Recognition

Awards received include Poncelet Prize^[15], an award^[36], in France^[37], founded in 1868^[38] and CNRS silver medal^[16], a science award^[39], in France^[40], founded in 1954^[41].

Why It Matters

Jean-Yves Girard ranks in the top 0.73% of human entities by monthly Wikipedia readership (86 views/month, #7,263 of 1,000,298).^[8] He has Wikipedia articles in 6 language editions, a strong signal of global cultural recognition.^[42] He is known by 6 alternative names across languages and contexts.^[43]

He is credited with the discovery of linear logic^[44] and System F^[45], a lambda calculus^[46].

His notable doctoral advisees include Vincent Danos^[47], a computer scientist^[48], specialised in computer science^[49].

FAQs

Where was Jean-Yves Girard born?

Jean-Yves Girard's place of birth was Lyon^[2].

What did Jean-Yves Girard do for work?

Jean-Yves Girard worked as mathematician^[4], philosopher^[5], researcher^[6], and logician^[7].

Where did Jean-Yves Girard go to school?

Jean-Yves Girard was educated at École normale supérieure de lettres et sciences humaines^[13].

What awards did Jean-Yves Girard receive?

Honors received include Poncelet Prize^[15] and CNRS silver medal^[16].

What did Jean-Yves Girard discover?

Jean-Yves Girard is credited as discoverer of linear logic^[44] and System F^[45].