hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Semaine 45
D'après la norme ISO 8601, une semaine débute un lundi et s'achève un dimanche, et une semaine dépend d'une année lorsqu'elle place une majorité de ses sept jours dans l'année en question, soit au moins quatre. Dès lors, la semaine 45 est la semaine du quarante-cinquième jeudi de l'année. Elle suit la semaine 44 et précède la semaine 46 de la même année.

La semaine 45 est pratiquement toujours la semaine du 8 novembre, sauf exceptionnellement, dans le cas d'une année bissextile commençant un jeudi.
Elle commence au plus tôt le 1er novembre et au plus tard le 8 novembre.
Elle se termine au plus tôt le 7 novembre et au plus tard le 14 novembre.

Jeudi
Le jeudi est le quatrième jour de la semaine civile dans plusieurs pays. Il est le cinquième de la semaine chrétienne, de la semaine juive et de la semaine musulmane. Il succède à mercredi et précède vendredi.

Le substantif masculin,, « jeudi », prononcé /ʒø.di/ en français standard, est issu du bas latin, Jovis dies, signifiant « jour de Jupiter », à savoir du dieu Jupiter. Il est attesté dès le XIIe siècle : d'après le Trésor de la langue française informatisé, sa plus ancienne occurrence connue se trouve dans le Comput de Philippe de Thaon, daté de 1119. Donnerstag en allemand, littéralement le jour du tonnerre, il se nomme aussi Thursday ce qui signifie Le jour de Thor, Thor étant le dieu nordique du tonnerre.

La norme ISO code le jeudi par le chiffre 4. Une norme récente ISO 8601 désigne le jeudi comme le milieu de la semaine. Les jeudis d'une année déterminent la numérotation des semaines : la semaine 1 est la première contenant un jeudi.
Maître des Clères Femmes
Le Maître des Clères Femmes désigne par convention un enlumineur ou un atelier originaire des Pays-Bas et actif entre 1403 et 1415 à Paris. Il doit son nom à un manuscrit du Boccace traduit en Français, Des Cleres et Nobles Femmes, peint pour le duc Jean Ier de Berry.

Pierre Bersuire
Pierre Bersuire (en latin, Petrus Berchorius ou Petrus Bercorius est un écrivain français du Moyen Âge, né à Saint-Pierre-du-Chemin (actuellement en Vendée) vers 1290, mort à Paris en 1362. Moine bénédictin, l'un des principaux lettrés français de son époque, il fut un ami de Pétrarque. Il est l'auteur d'écrits moraux de forme encyclopédique et  le premier traducteur en français de l'Histoire romaine de Tite-Live.
Pic Karl Marx
Le pic Karl Marx est un sommet du Tadjikistan s'élevant à 6 726 mètres d'altitude dans le chaînon Shakhdara, dont il constitue le point culminant, dans le Pamir. Il se situe dans la province autonome du Haut-Badakhchan, à la limite des districts d'Ishkashim et de Roshtkala, juste au nord du Piandj et de la frontière avec l'Afghanistan.

Le nom de Karl Marx lui a été attribué en 1937 par le géologue et explorateur soviétique Sergueï Klunnikov. Avant cette date, et depuis le XIXe siècle, il portait le nom de pic du Tsar Pacificateur (en russe : Царя Миротворца), attribut du tsar Alexandre III. Son ascension a été retardée du fait de la Seconde Guerre mondiale, et n'a été réalisée qu'en 1946 par une équipe d'alpinistes menée par Evgeniy Beletskiy.

Alexandre III (empereur de Russie)
Alexandre III de Russie (Alexandre Alexandrovitch Romanov, en cyrillique Алекса́ндр Алекса́ндрович Рома́нов), né le 26 février 1845 (10 mars dans le calendrier grégorien) et mort le 20 octobre 1894 (1er novembre dans le calendrier grégorien), est empereur de Russie, du 2 mars 1881 (14 mars dans le calendrier grégorien) jusqu'à sa mort. Il est le dernier empereur de Russie mort sur le trône.
Dzerjinsk
Après la mort de Félix Dzerjinski (1877-1926), fondateur et chef de la Tchéka, son nom fut donné à un certain nombre de localités de l'Union soviétique. Plusieurs ont conservé ce nom :

Dziarjynsk, ville de Biélorussie, dans la voblast de Minsk ;

Dzerjinsk, ville de Russie, dans l'oblast de Nijni Novgorod ;

Dzerjynsk, l'ancien nom de la ville de Toretsk d'Ukraine, dans l'oblast de Donetsk.

Voblast de Minsk
La voblast de Minsk (en biélorusse : Мі́нская во́бласць, Minskaïa voblast) ou oblast de Minsk (en russe : Минская о́бласть, Minskaïa oblast) est une subdivision de la Biélorussie. Sa capitale administrative est la ville de Minsk, qui a un statut spécial et n'en fait pas partie.
Spy Kids 3 : Mission 3D
Spy Kids 3 : Mission 3D ou Espions en herbe 3D: Fin du jeu au Québec (Spy Kids 3-D: Game Over) est un film américain réalisé par Robert Rodriguez, sorti en 2003. Troisième volet de la franchise [[Spy Kids (série de films)|Spy Kids]], il est la suite de Spy Kids et Spy Kids 2 : Espions en herbe, également réalisés par Robert Rodriguez. Le film est totalement en 3D.

Dimension Films
Dimension Films est une société de production cinématographique. C'est une filiale de la Weinstein Company depuis 2005. Elle était auparavant une filiale de Miramax Films fondée en 1979 par les frères Bob et Harvey Weinstein, comme complément de la société. Elle est spécialisée dans les films de genre, à l'origine principalement ceux d'horreur et de science-fiction.

Elle avait été rachetée en 1995 avec Miramax par la Walt Disney Company.
Faramans-Pajay
Ancienne commune de l'Isère, la commune de Faramans-Pajay a été supprimée en 1841, au profit de deux nouvelles communes qui sont créées sur son territoire :

Faramans

Pajay

Portail des communes de France

Portail de l’Isère

Faramans (Isère)
Faramans est une commune française située dans le département de l'Isère en région Auvergne-Rhône-Alpes.

Entre Lyon, Grenoble et Valence, le territoire de Faramans se situe plus précisément dans la Plaine de Bièvre, dans le secteur du Bas Dauphiné.

Les habitants de la commune sont dénommés les Faramantois.
Forces républicaines de Côte d'Ivoire
Les Forces républicaines de Côte d'Ivoire (FRCI) sont un regroupement des Forces nouvelles (FN), les forces rebelles qui tiennent le nord du pays de 2002 à 2011, et des ralliés des Forces de défense et de sécurité (FDS) de Côte d'Ivoire créées le 17 mars 2011 en pleine crise post-électorale par Alassane Ouattara. Elles sont placées sous le commandement du général Soumaila Bakayoko, chef d’état-major. Le porte-parole des FRCI est le colonel Patrice Kouassi ; après la prise de pouvoir d'Alassane Ouattara suite à la crise de 2010-2011, les FRCI deviennent l'armée nationale de la Côte d'Ivoire. Les Forces républicaines de Côte d'Ivoire ont permis à Alassane Ouattara d'être porté au pouvoir lors de la crise post-électorale 2010-2011. Une fois la victoire acquise, les FRCI ont absorbé le gros des troupes de loyalistes de l'armée de terre, de l'air, de la marine et de la gendarmerie.

Soumaila Bakayoko
Soumaila Bakayoko (né le 31 décembre 1953 à Bobien dans la préfecture de Séguéla) est un militaire ivoirien. Ancien chef d'état-major des rebelles des forces nouvelles de Côte d'Ivoire, il est un proche de Guillaume Soro. Quand Alassane Ouattara devient président en 2011, Soumaila Bakayoko est nommé chef d'état-major des armées. Limogé en janvier 2017, il est depuis février 2018 le directeur de la société ivoirienne de raffinage (SIR).
Villa romaine de Vaesrade
La villa romaine de Vaesrade, également connue sous les noms de Villa Nuth-Vaesrade, Vaesrade-Thull ou Thull-Zandberg(se)weg, est un site archéologique abritant les vestiges d'une villa romaine près du village de Vaesrade, dans la commune de Beekdaelen, province néerlandaise du Limbourg. Datant du IIe siècle apr. J.-C., cette villa de type « villa rustica » est l'un des soixante ensembles de villas romaines (partiellement) mis au jour sur les sols loessiques du sud du Limbourg,. Le site est classé monument national depuis 1983.

Province de Limbourg (Pays-Bas)
Le Limbourg (prononcé : /lɛ̃.buʁ/ ; en néerlandais : Limburg) est l'une des douze provinces des Pays-Bas. Il se trouve dans le sud-est du pays et compte une population de 1 117 201 habitants en 2020. Le chef-lieu du Limbourg est Maastricht. Les principales villes incluent Heerlen, Maastricht, Ruremonde, Sittard-Geleen, Vaals, Fauquemont-sur-Gueule, Venlo et Weert.

Le commissaire du Roi de la province est officieusement dénommé « gouverneur », cas unique aux Pays-Bas.
Insigne acadienne
L’insigne acadienne est l'un des symboles officiels de l'Acadie. L'insigne consiste en une bandelette de soie bleue en haut de laquelle apparaît une étoile entourée de rayons, surmontant un bateau voguant à pleines voiles, dont le pavillon porte le mot « Acadie ». La devise nationale est écrite en dessous du bateau et le tout est surmonté d'une rosette rouge et blanche. L'insigne doit être portée à la boutonnière durant les jours fériés. Elle a été choisie lors de la IIe Convention nationale acadienne de 1884, à Miscouche. Il est possible que les délégués présents aient voulu imiter les symboles choisis lors d'un Congrès de la Saint-Jean-Baptiste organisé à Québec quatre ans plus tôt. L'insigne n'a pas été populaire et est pratiquement oubliée de nos jours; il en existe un seul exemplaire conservé au Musée acadien de l'Université de Moncton. L'insigne a par contre inspiré les armoiries de la Société nationale de l'Acadie, dévoilées en 1996 à Miscouche.

Fête nationale du Québec
La Fête nationale du Québec, encore communément appelée la fête de Saint-Jean-Baptiste, la Saint-Jean-Baptiste ou la Saint-Jean, est la fête nationale des Québécois. Elle est célébrée le 24 juin.

À l’origine, cette date était celle de la fête religieuse célébrant la naissance de Jean le Baptiste. À partir de 1834, elle s’impose comme fête nationale des Canadiens français. En 1925, la législature de Québec déclare le 24 juin congé férié, et en 1977, un décret officiel du gouvernement en fait la fête nationale du Québec.
Midlands East (circonscription du Parlement européen)
Avant l’adoption uniforme de la représentation proportionnelle en 1999, le Royaume-Uni utilisait le système uninominal à un tour pour les élections européennes en Angleterre, en Écosse et au pays de Galles. Les conscriptions du Parlement européen utilisées dans ce système étaient plus petites que les circonscriptions régionales les plus récentes et ne comptaient chacune qu'un seul membre au Parlement européen.

La circonscription de Midlands East était l'une d'entre elles.

Il se composait des circonscriptions parlementaires du Parlement de Westminster (aux termes de l'ordonnance de 1970 sur les circonscriptions parlementaires (Angleterre), qui avait pris effet aux élections générales de février 1974) de Blaby, Bosworth, Loughborough, Meriden, Nuneaton et Rugby.

Palais de Westminster
Le palais de Westminster (en anglais : Palace of Westminster), également désigné sous le nom de Chambres du Parlement (Houses of Parliament), est le lieu où siège le Parlement du Royaume-Uni : la Chambre des communes (House of Commons) et la Chambre des lords (House of Lords). Le palais borde la rive nord de la Tamise et se situe au centre de la ville de Londres, dans l'arrondissement de la Cité de Westminster.

Un incendie dévastateur a détruit presque entièrement le palais le 16 octobre 1834, n'épargnant que le Westminster Hall qui remonte à 1097. Le bâtiment actuel date du XIXe siècle.
Peter C. Beyeler
Peter C. Beyeler, né le 5 septembre 1945 à Aarau, est une personnalité politique suisse membre du Parti libéral-radical.

Depuis le 1er juillet 2000 il est conseiller d'État du canton d'Argovie où il a occupé le poste de Landaman pendant les années 2004-2005 et 2008-2009.

Parti libéral-radical
Le Parti libéral-radical, appelé également PLR ou Les Libéraux-Radicaux (en allemand : Freisinnig-Demokratische Partei (FDP.Die Liberalen), en italien : Partito liberale-radicale svizzero (PLR. I Liberali), en romanche Partida liberaldemocrata svizra (PLD. Ils Liberals)), est un parti politique suisse qui prône une économie et une société libérales.

Il est fondé en 2009 à la suite de la fusion de deux partis fondateurs de la Suisse moderne, le Parti libéral suisse (PLS) et le Parti radical-démocratique (PRD). Il compte donc parmi les plus jeunes partis de Suisse, mais il est aussi celui qui hérite de la plus longue histoire politique, avec 160 ans d'engagement.

Il détient 28 sièges au Conseil national sur 200, 11 au Conseil des États sur 46 et selon la formule magique 2 sur 7 au Conseil fédéral. Il est également le parti le plus représenté dans les exécutifs et législatifs des cantons et des communes,.
Conseil des affaires économiques et du développement
Le Conseil des affaires économiques et du développement (CAED) est l’un des deux organes de gouvernance du royaume d’Arabie saoudite. Il est dirigé par le prince héritier Mohammed ben Salmane Al Saoud, également ministre de la Défense et à la tête du cabinet royal,. Tous ses membres sont nommés par arrêté royal. Le Conseil des affaires économiques et du développement a été créé en janvier 2015 à l’initiative du roi Salmane, en remplacement du Conseil économique suprême saoudien et de onze autres entités gouvernementales.

Roi d'Arabie saoudite
Le roi d'Arabie saoudite (en arabe : ملك المملكة العربية السعودية) est le chef de l'État de l'Arabie saoudite en tant que monarque absolu. Cette monarchie est unifiée et proclamée par Abdelaziz ibn Saoud en 1932. Depuis le roi Fahd, soit 1986, il porte le titre de « Gardien des Deux Saintes Mosquées » (خادم الحرمين الشريفين), conjointement à la qualification de « majesté » (صاحب الجلالة).
Autoroute Bang Na
La voie express Bang Na ou voie express Bang Na - Bang Pli - Bang Pakong Expressway, officiellement Burapha withi Expressway (en thaï : ทางพิเศษบูรพาวิถี), est un viaduc autoroutier de 54 km de long à six voies situé dans la ville de Bangkok, en Thaïlande. Il s'agit d'une autoroute à péage surplombant la Route nationale 34 (Bang-Bang Na Pakong Road).

Il s'agissait du viaduc le plus long du monde avant la construction du Grand viaduc de Weinan weihe, en 2008. En juillet 2021, il détient le record du pont routier le plus long au monde, d'après le livre des records Guinness.

Longueur d'un pont
La longueur d’un pont est une grandeur qui permet de caractériser les dimensions d’un pont, au même titre que sa largeur ou sa portée. Cette longueur est définie conventionnellement selon les types d’ouvrages.
Mats Brännström
Mats Brännström (né le 22 janvier 1958) est un consultant et professeur suédois d'obstétrique et de gynécologie.

Le professeur Brännström est professeur d'obstétrique et de gynécologie à l'université de Göteborg depuis 2003.

Brännström a dirigé le projet de recherche qui, en 2014, a abouti à la première naissance après une greffe utérine. Les résultats de la recherche ont été publiés dans la revue médicale britannique The Lancet. 
Il a également contribué à la réalisation de la première greffe utérine française en collaboration avec les équipes du professeur Jean-Marc Ayoubi.

Spécialité médicale
Une spécialité médicale est une branche de la pratique médicale. Après avoir terminé le tronc commun des études de médecine, les médecins continuent leur formation médicale dans une spécialité spécifique de la médecine, devenant ainsi un médecin spécialiste.
Sous-unité ribosomique 40S
La sous-unité ribosomique 40S est la plus petite des deux sous-unités constituant les ribosomes des eucaryotes. Il s'agit d'un complexe ribonucléoprotéique constitué d'un ARN ribosomique — l'ARNr 18S — et de protéines ribosomiques. Elle est structurellement et fonctionnellement apparentée à la petite sous-unité ribosomique 30S des ribosomes de procaryotes,,,, mais est sensiblement plus grande qu'elle contient de nombreux segments protéiques supplémentaires ainsi que des séquences d'ARN additionnelles.

La sous-unité 40S des ribosomes d'eucaryotes assure le décodage correct des ARN messagers à travers l'appariement correct des bons ARN de transfert sur les codons de l'ARNm au cours du processus de traduction génétique de la biosynthèse des protéines. Elle est la cible de la plupart des facteurs d'initiation (eIF) et interagit également avec l'IRES du virus de l'hépatite C.

Protéine ribosomique
Une protéine ribosomique est une protéine qui, en s'associant à de l'ARN ribosomique et d'autres protéines ribosomiques forme les deux sous-unités du ribosome et permet ainsi la traduction des gènes codés sur les ARN messagers.
Le ribosome est formé par un grand nombre de protéines. Celui d'E. Coli en contient 54 (22 dans la petite sous-unité et 34 dans la grande).
Beni Rached
Beni Rached (en arabe : بنى راشد ; en berbère : ⴰⵢⵜ ⵔⴰⵛⴻⴷ, Ayt Raced), est une commune de la wilaya de Chlef en Algérie, située à 30 km au nord-est de Chlef et à 500 mètres d'altitude. Les Beni Rached font partie des Maghraouas, une confédération tribale berbère zénète de la Dahra qui a fondé avec une autre confédération tribale zénète du nom des Banu Tudjin, une principauté puissante dans la vallée du Chlef au Moyen Âge, la région est connue pour être l'épicentre du séisme de 1980. La commune possède une casba et plusieurs ruines romaines.

Béni Rached (tribu)
Les Béni Rached (en berbère : ⴰⵢⵜ ⵔⴰⵛⵀⴻⴷ ; en arabe : بني راشد) sont une tribu berbère zénète d'Algérie. Installés d'abord dans l'actuel djebel Amour, ils migrent vers le Tell oranais au Moyen Âge, où une province portait leur nom durant la période zianide.
Casa de Estudillo
La Casa de Estudillo ou Estudillo House est un bâtiment en adobe du parc historique d'État d'Old Town San Diego, à San Diego, en Californie, aux États-Unis. La Casa de Estudillo était considérée à son apogée comme l'une des plus belles maisons en Haute-Californie.

Haute-Californie
La Haute-Californie, en espagnol : Alta California, est une province de l'Empire colonial espagnol constituée en 1804 par division de la province de Californie (Californias), partie de la vice-royauté de Nouvelle-Espagne (1535-1821).

En 1821, la Haute-Californie devient une partie du Mexique devenu indépendant. Dotée d'une grande autonomie, la province connait une forte agitation politique avec plusieurs insurrections et révolutions.

En 1848, en conséquence de la guerre de 1846-1848, le Mexique la cède aux États-Unis, ainsi que les autres territoires situés au nord du Rio Grande.

Son territoire est aujourd'hui réparti entre les États américains de Californie, du Nevada, de l'Utah ainsi que la partie nord de l'Arizona et le sud-ouest du Wyoming.
Rolf Duschenes
Rolf Duschenes, C.M. (1917 ou 1918, Hambourg en Allemagne - 23 juin 2014, Saint-Jean, dans le Nouveau-Brunswick au Canada), est un architecte canadien d'origine allemande résidant à Grand Bay-Westfield, au Nouveau-Brunswick. Il s'est surtout distingué dans l'architecture domiciliaire et son cabinet, ayant pignon sur rue à Saint-Jean et Montréal, a obtenu plusieurs prix. Il est très impliqué dans sa communauté. D'abord pompier volontaire, il a ensuite été commissaire scolaire avant de s'intéresser au Musée du Nouveau-Brunswick et aux orchestres jeunesse au Nouveau-Brunswick et ailleurs au Canada. Il est fait membre de l'ordre du Canada en 1983. Il est frère du musicien classique Mario Duschenes.

Système éducatif au Nouveau-Brunswick
Le système éducatif au Nouveau-Brunswick est composé principalement sur le système d'éducation public administré par le gouvernement provincial du Nouveau-Brunswick. Il est précisément sous la responsabilité du ministère de l'Éducation et du Développement de la petite enfance et du ministère de l'Éducation postsecondaire, de la Formation et du Travail.
Aviron aux Jeux olympiques d'été de 1988
Les épreuves d'aviron lors des Jeux olympiques d'été de 1988 se tiennent à Séoul, en Corée du Sud, du 19 au 25 septembre 1988. Les épreuves se déroulent sur le Han. Quatorze finales figurent au programme de cette compétition (8 masculines et 6 féminines).

Han (fleuve en Corée)
Le Han ou Hangang (en coréen : 한강 ; hanja : 漢江), est un fleuve de Corée qui se jette dans la mer Jaune en séparant la Corée du Sud de la Corée du Nord au niveau de son estuaire, qu'il partage avec la rivière Imjin.
Resist
Resist est un titre d'œuvre notamment porté par :

Resist, album du groupe néerlandais de metal symphonique Within Temptation sorti en 2019 ;

Resist, album du groupe australien de rock Midnight Oil sorti en 2022.

Resist (album de Within Temptation)
Resist est le septième album studio du groupe néerlandais de metal symphonique Within Temptation. Sa sortie, initialement prévue en décembre 2018, a finalement lieu le 1er février 2019 à cause de problèmes de production.
John Kaiser
John Kaiser est un nom pouvant désigner :

John N. Kaiser (en) (1899-1978), homme politique américain de Milwaukee au Wisconsin

John Anthony Kaiser (1932-2000), missionnaire catholique américain au Kenya

John Kaiser (en) (né en 1962), joueur américain de football américain

John Anthony Kaiser
John Anthony Kaiser mhm, né le 29 novembre 1932 à Perham (Minnesota) et mort assassiné le 23 août 2000 à Morendat au Kenya, est un missionnaire catholique américain de la Société des missionnaires de Saint-Joseph de Mill Hill, victime d'un assassinat non élucidé.
Castelões
Castelões est un nom de lieu notamment porté au Portugal par :

Castelões, paroisse civile de la municipalité de Guimarães, située dans le district de Braga et la région Nord ;

Castelões, paroisse civile de la municipalité de Penafiel, située dans le district de Porto et la région Nord ;

Castelões, paroisse civile de la municipalité de Tondela, située dans le district de Viseu et la région Centre ;

Castelões, paroisse civile de la municipalité de Vila Nova de Famalicão, située dans le district de Braga et la région Nord ;

Castelões de Cepeda, paroisse civile de la municipalité de Paredes, située dans le district de Porto et la région Nord ;

São Pedro de Castelões, paroisse civile de la municipalité de Vale de Cambra, située dans le district d'Aveiro et la région Nord.

District de Viseu
Le district de Viseu est un district du Portugal.

Sa superficie est de 5 011,67 km2, ce qui en fait le 9e du pays pour ce qui est de la superficie. Sa population est de 395 202 habitants (2004).

Sa capitale est la ville homonyme de Viseu.
Bosung
Bosung est un village du Cameroun situé dans la région du Nord-Ouest, le département du Menchum, l'arrondissement de Menchum Valley et la commune de Benakuma, à proximité de la frontière avec le Nigeria.

Région du Nord-Ouest (Cameroun)
La région du Nord-Ouest (en anglais : Northwest Region) est l'une des dix régions du Cameroun, située à l'extrême ouest du pays à la frontière du Nigeria. Son chef-lieu est Bamenda. La région est l'une des deux régions anglophones du Cameroun bénéficiant d'un statut spécial, avec celle du Sud-Ouest.
Sécurité sémantique
La sécurité sémantique est une notion de sécurité importante dans le cadre des preuves de sécurité des protocoles cryptographiques. Cette notion a été introduite en 1984 par Shafi Goldwasser et Silvio Micali.

Elle est définie indépendamment du type de cryptographie du système (c’est-à-dire symétrique ou asymétrique), mais est principalement utilisée dans les preuves des schémas à clef publique.

La sécurité sémantique traduit formellement le fait qu’il doit être difficile de retrouver de l’information sur le message originel en ayant accès au chiffrement de ce message et aux informations publiques du protocole.

On parle aussi d'« attaques sémantiques » dans le domaine des LLM, à propos de une manipulation subtile du contexte ou du sens des données qui visent à induire en erreur un système d'intelligence artificielle ou un utilisateur, exploitant des biais cognitifs ou des failles de traitement de l’information

Shafi Goldwasser
Shafi Goldwasser  (hébreu : שפרירה גולדווסר, Shafrira Goldwasser) est une informaticienne américano-israélienne, née le 14 novembre 1958 à New York. Elle est professeure au MIT et à l'Institut Weizmann. Elle a reçu le prix Grace Murray Hopper en 1996, le prix Gödel en 1993 et en 2001 et le prix Turing en 2012, pour ses travaux autour des preuves interactives en théorie de la complexité.