Jean-Louis Krivine

French mathematician
Person human Q1684974
Press Enter · cited answer in seconds

Jean-Louis Krivine

Summary

Jean-Louis Krivine is a human[1]. He was born on +1939-01-01T00:00:00Z[2]. He worked as a mathematician[3] and university teacher[4].

Key Facts

  • Jean-Louis Krivine was born on +1939-01-01T00:00:00Z[2].
  • Jean-Louis Krivine held citizenship in France[5].
  • Jean-Louis Krivine worked as a mathematician[3].
  • Jean-Louis Krivine's professions included university teacher[4].
  • Jean-Louis Krivine's field of work was mathematics[6].
  • Jean-Louis Krivine's field of work was mathematical logic[7].
  • Jean-Louis Krivine's field of work was algebraic geometry[8].
  • Jean-Louis Krivine was employed by Institut de Recherche en Informatique Fondamentale[9].
  • Among Jean-Louis Krivine's employers was Paris Diderot University[10].
  • Jean-Louis Krivine's education included a stint at École Normale Supérieure[11].
  • Jean-Louis Krivine's education included a stint at Science Faculty of Paris[12].
  • Jean-Louis Krivine's doctoral advisor was Jean-Pierre Kahane[13].
  • A notable student of Jean-Louis Krivine was Jean-Yves Girard[14].
  • A notable student of Jean-Louis Krivine was Marouane ben Miled[15].
  • Jean-Louis Krivine is recorded as male[16].
  • Jean-Louis Krivine's instance of is recorded as human[17].
  • Jean-Louis Krivine supervised Jean-Yves Girard as a doctoral student[18].
  • Jean-Louis Krivine supervised Élisabeth Bouscaren as a doctoral student[19].
  • Jean-Louis Krivine supervised Jacques Stern as a doctoral student[20].
  • Jean-Louis Krivine supervised Daniel Lascar as a doctoral student[21].
  • Jean-Louis Krivine supervised Serge Grigorieff as a doctoral student[22].
  • Jean-Louis Krivine supervised Christophe Raffalli as a doctoral student[23].
  • Jean-Louis Krivine supervised Mauricio German Guillermo as a doctoral student[24].
  • Jean-Louis Krivine supervised Yves Raynaud as a doctoral student[25].
  • Jean-Louis Krivine's ISNI is recorded as 0000000109249003[26].

Body

Origins and Family

Jean-Louis Krivine was born on +1939-01-01T00:00:00Z[2].

Education

Educated at École Normale Supérieure[11], a école normale supérieure[27], in France[28], founded in 1794[29], headquartered in Paris[30] and Science Faculty of Paris[12], a faculty[31], in France[32], founded in 1811[33]. Jean-Louis Krivine's doctoral advisor was Jean-Pierre Kahane[13].

Career and Affiliations

Recorded occupations include mathematician[3] and university teacher[4]. Fields of work include mathematics[6], an academic discipline[34]; mathematical logic[7], a branch of mathematics[35]; and algebraic geometry[8], a branch of mathematics[36]. Employers include Institut de Recherche en Informatique Fondamentale[9], a research institute[37], in France[38], founded in 2016[39], headquartered in Sophie Germain Building[40] and Paris Diderot University[10], a university in France[41], in France[42], founded in 1971[43], headquartered in Paris[44]. Notable students include Jean-Yves Girard[14], a mathematician[45], b. 1947[46], of France[47], awarded the Poncelet Prize[48], specialised in proof theory[49] and Marouane ben Miled[15]. Doctoral students include Jean-Yves Girard[18], a mathematician[50], b. 1947[51], of France[52], awarded the Poncelet Prize[53], specialised in proof theory[54]; Élisabeth Bouscaren[19], a mathematician[55], b. 1956[56], of France[57], awarded the Gödel Lecturer[58]; Jacques Stern[20], a cryptologist[59], b. 1949[60], of France[61], awarded the Officer of the Legion of Honour[62], specialised in cryptography[63]; Daniel Lascar[21]; Serge Grigorieff[22], b. 1948[64], of France[65]; and Christophe Raffalli[23].

FAQs

What did Jean-Louis Krivine do for work?

Jean-Louis Krivine worked as mathematician[3] and university teacher[4].

Where did Jean-Louis Krivine go to school?

Jean-Louis Krivine was educated at École Normale Supérieure[11] and Science Faculty of Paris[12].

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [16] . BnF authorities. Retrieved . wikidata.org.
  2. [5] . wikidata.org.
  3. [17] . BnF authorities. Retrieved . wikidata.org.
  4. [11] . wikidata.org.
  5. [12] . SUDOC. wikidata.org.
  6. [6] . Czech National Authority Database. Retrieved . wikidata.org.
  7. [7] . Czech National Authority Database. Retrieved . wikidata.org.
  8. [8] . Czech National Authority Database. Retrieved . wikidata.org.
  9. [3] . FCT. wikidata.org.
  10. [4] . FCT. wikidata.org.
  11. [9] . wikidata.org.
  12. [10] . FCT. wikidata.org.
  13. [13] . Mathematics Genealogy Project. Retrieved . wikidata.org.
  14. [18] . wikidata.org.
  15. [19] . theses.fr. theses.fr. Provenance: wikidata.org.
  16. [20] . Mathematics Genealogy Project. wikidata.org.
  17. [21] . Mathematics Genealogy Project. wikidata.org.
  18. [22] . Mathematics Genealogy Project. wikidata.org.
  19. [23] . Mathematics Genealogy Project. wikidata.org.
  20. [24] . Mathematics Genealogy Project. wikidata.org.
  21. [25] . Mathematics Genealogy Project. wikidata.org.
  22. [26] . BnF authorities. Retrieved . wikidata.org.
  23. [2] . Catalogue of the Library of the Pontifical University of Saint Thomas Aquinas. wikidata.org.
  24. [14] . wikidata.org.
  25. [15] . Mathematics Genealogy Project. wikidata.org.

Inline context (facts about related entities)

  1. [27] . Wikidata. wikidata.org. → on this site
  2. [28] . Wikidata. wikidata.org. → on this site
  3. [29] . Wikidata. wikidata.org. → on this site
  4. [30] . Wikidata. wikidata.org. → on this site
  5. [31] . Wikidata. wikidata.org. → on this site
  6. [32] . Wikidata. wikidata.org. → on this site
  7. [33] . Wikidata. wikidata.org. → on this site
  8. [34] . Wikidata. wikidata.org. → on this site
  9. [35] . Wikidata. wikidata.org. → on this site
  10. [36] . Wikidata. wikidata.org. → on this site
  11. [37] . Wikidata. wikidata.org. → on this site
  12. [38] . Wikidata. wikidata.org. → on this site
  13. [39] . Wikidata. wikidata.org. → on this site
  14. [40] . Wikidata. wikidata.org. → on this site
  15. [41] . Wikidata. wikidata.org. → on this site
  16. [42] . Wikidata. wikidata.org. → on this site
  17. [43] . Wikidata. wikidata.org. → on this site
  18. [44] . Wikidata. wikidata.org. → on this site
  19. [50] . Wikidata. wikidata.org. → on this site
  20. [51] . Wikidata. wikidata.org. → on this site
  21. [52] . Wikidata. wikidata.org. → on this site
  22. [53] . Wikidata. wikidata.org. → on this site
  23. [54] . Wikidata. wikidata.org. → on this site
  24. [55] . Wikidata. wikidata.org. → on this site
  25. [56] . Wikidata. wikidata.org. → on this site
  26. [57] . Wikidata. wikidata.org. → on this site
  27. [58] . Wikidata. wikidata.org. → on this site
  28. [59] . Wikidata. wikidata.org. → on this site
  29. [60] . Wikidata. wikidata.org. → on this site
  30. [61] . Wikidata. wikidata.org. → on this site
  31. [62] . Wikidata. wikidata.org. → on this site
  32. [63] . Wikidata. wikidata.org. → on this site
  33. [64] . Wikidata. wikidata.org. → on this site
  34. [65] . Wikidata. wikidata.org. → on this site
  35. [45] . Wikidata. wikidata.org. → on this site
  36. [46] . Wikidata. wikidata.org. → on this site
  37. [47] . Wikidata. wikidata.org. → on this site
  38. [48] . Wikidata. wikidata.org. → on this site
  39. [49] . Wikidata. wikidata.org. → on this site

Class ancestry

  1. [1] . Wikidata. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). Jean-Louis Krivine. Retrieved May 3, 2026, from https://4ort.xyz/entity/jean-louis-krivine
MLA “Jean-Louis Krivine.” 4ort.xyz Knowledge Graph, 4ort.xyz, 3 May. 2026, https://4ort.xyz/entity/jean-louis-krivine.
BibTeX @misc{4ortxyz_jean-louis-krivine_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{Jean-Louis Krivine}}, year = {2026}, url = {https://4ort.xyz/entity/jean-louis-krivine}, note = {Accessed: 2026-05-03}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): Jean-Louis Krivine — https://4ort.xyz/entity/jean-louis-krivine (retrieved 2026-05-03)

Canonical URL: https://4ort.xyz/entity/jean-louis-krivine · Last refreshed: