Jean-Yves Girard
0 sources
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], and researcher[6]. He ranks in the top 0.73% of human entities by monthly Wikipedia readership (93 views/month, #7,263 of 1,000,298).[7]
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[8].
- 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 field of work was proof theory[9].
- Jean-Yves Girard held the position of Director of Research at CNRS[10].
- Jean-Yves Girard was employed by National Center for Scientific Research[11].
- Jean-Yves Girard was educated at École normale supérieure de lettres et sciences humaines[12].
- Jean-Yves Girard's doctoral advisor was Jean-Louis Krivine[13].
- Jean-Yves Girard received the Poncelet Prize[14].
- Jean-Yves Girard received the CNRS silver medal[15].
- Jean-Yves Girard was a member of French Academy of Sciences[16].
- Jean-Yves Girard was a member of Academia Europaea[17].
- Jean-Yves Girard is recorded as male[18].
- Jean-Yves Girard's instance of is recorded as human[19].
- Jean-Yves Girard supervised Vincent Danos as a doctoral student[20].
- Jean-Yves Girard supervised Yves Lafont as a doctoral student[21].
- Jean-Yves Girard supervised Arnaud Fleury as a doctoral student[22].
- Jean-Yves Girard supervised Laurent Regnier as a doctoral student[23].
- Jean-Yves Girard supervised Marco Pedicini as a doctoral student[24].
- Jean-Yves Girard supervised Pasquale Malacaria as a doctoral student[25].
- Jean-Yves Girard supervised George Koletsos as a doctoral student[26].
- Jean-Yves Girard supervised Christian Retoré 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[12]. His doctoral advisor was Jean-Louis Krivine[13]. He studied under Jean-Louis Krivine[28].
Career and Affiliations
Recorded occupations include mathematician[4], philosopher[5], and researcher[6]. Jean-Yves Girard's field of work was proof theory[9]. Among his employers was National Center for Scientific Research[11]. He held the position of Director of Research at CNRS[10]. Doctoral students include Vincent Danos[20], a computer scientist[29], specialised in computer science[30]; Yves Lafont[21], a mathematician[31], b. 1961[32], of France[33]; Arnaud Fleury[22], a researcher[34]; Laurent Regnier[23], of France[35]; Marco Pedicini[24], a researcher[36], b. 1987[37]; and Pasquale Malacaria[25].
Recognition
Awards received include Poncelet Prize[14], an award[38], in France[39], founded in 1868[40] and CNRS silver medal[15], a science award[41], in France[42], founded in 1954[43].
Why It Matters
Jean-Yves Girard ranks in the top 0.73% of human entities by monthly Wikipedia readership (93 views/month, #7,263 of 1,000,298).[7] He has Wikipedia articles in 6 language editions, a strong signal of global cultural recognition.[44]
He is credited with the discovery of System F[45], a lambda calculus[46] and linear logic[47].
His notable doctoral advisees include Vincent Danos[48], a computer scientist[49], specialised in computer science[50].
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], and researcher[6].
Where did Jean-Yves Girard go to school?
Jean-Yves Girard was educated at École normale supérieure de lettres et sciences humaines[12].
What awards did Jean-Yves Girard receive?
Honors received include Poncelet Prize[14] and CNRS silver medal[15].
What did Jean-Yves Girard discover?
Jean-Yves Girard is credited as discoverer of System F[45] and linear logic[47].