[i18n] skipToContent

Pascaline
Computer Arithmetic, Computer Algebra, and Formal Verification

L’équipe est actuellement dirigée par Nicolas Brisebarre et Guillaume Melquiond.


Membres de l'équipe

Membres permanents

Équipe administrative

  • Chiraz Benamor, ENS de Lyon

Doctorants


Anciens membres de l'équipe

Membres permanents

  • Marc Daumas, [i18n] Professeur (Ambassade de France en Chine)
  • Florent de Dinechin, [i18n] Professeur (INSA Lyon)
  • Fabien Laguillaumie, [i18n] Professeur (LIRMM, Université de Montpellier)
  • Arnaud Tisserand, [i18n] Chercheur (Lab-STICC, ENSTA)
  • Guillaume Hanrot, [i18n] Chercheur (Cryptolab, Lyon)
  • Benoît Libert, [i18n] Fellow Cryptography Researcher (Zama)
  • Anne Mignotte, [i18n] Directrice (Toï Toï Le Zinc, Villeurbanne)
  • Alain Passelègue, [i18n] Chercheur (Cryptolab, Lyon)
  • Damien Stehlé, [i18n] Chercheur (Cryptolab, Lyon)
  • Serge Torres, [i18n] Ingénieur à la retraite (LIP, ENS Lyon)

Doctorants

  • Calvin Abou Haidar, [i18n] Post-doctorant (NTT, Tokyo)
  • Sylvie Boldo, [i18n] Chercheuse (Inria Saclay – Île-de-France)
  • Nicolas Boullis, [i18n] Ingénieur
  • Florent Bréhard, [i18n] Chercheur (CNRS, CRIStAL, Lille)
  • Nicolas Brunie, [i18n] Ingénieur (SiFive)
  • Francisco José Cháves Alonso, [i18n] Professeur (Escuela Colombiana de Ingeniería, Bogota, Colombia)
  • Jingwei Chen, [i18n] Associate Professor (Chinese Academy of Sciences)
  • Chitchanok Chuengsatiansup, [i18n] Lecturer (assistant professor) (University of Adelaide, Australia)
  • Sylvain Chevillard, [i18n] Chercheur (Inria Sophia Antipolis – Méditerranée)
  • David Defour, [i18n] Professeur (Université de Perpignan)
  • Julien Devevey, [i18n] Expert en cryptographie (ANSSI)
  • Jérémie Detrey
  • Pouria Fallahpour, [i18n] Post-doctorant (LIP6, Sorbonne Université)
  • Joël Felderhoff, [i18n] Post-doctorant (King's College, London)
  • Silviu-Ioan Filip, [i18n] Chercheur (Inria Rennes – Bretagne Atlantique)
  • Pascal Giorgi, [i18n] Professeur (Université de Montpellier)
  • Antoine Gonon, [i18n] Post-doctorant (EPFL, Suisse)
  • Arthur Herledan Le Merdy, [i18n] Doctorant (ENS Lyon)
  • Mioara Joldes, [i18n] Chercheuse (CNRS, LAAS, Toulouse)
  • Adeline Langlois, [i18n] Chercheuse (GREYC, Caen)
  • Christoph Quirin Lauter, [i18n] Associate Professor (University of Texas at El Paso, U.S.A.)
  • Érik Martin-Dorel, [i18n] Maître de Conférences (IRIT, Université Toulouse 3)
  • Sébastien Maulat, [i18n] Enseignant
  • Stephen Melczer, [i18n] Assistant professor (University of Waterloo, Canada)
  • Romain Michard
  • Claire Moreau-Finot, [i18n] Ingénieure (Agaetis)
  • Ivan Morel, [i18n] Enseignant
  • Fabrice Mouhartem, [i18n] Ingénieur (XWiki)
  • Christophe Mouilleron, [i18n] Professeur agrégé (ENSIIE)
  • Vincent Neiger, [i18n] Maître de Conférences (LIP6, Sorbonne Université)
  • Huyen Nguyen
  • Marie Paindavoine, [i18n] Ingénieure (Skyld AI)
  • Adrien Panhaleux, [i18n] Ingénieur (PeopleDoc Inc.)
  • Bogdan Pasca, [i18n] Ingénieur (Intel)
  • Alice Pellet–Mary, [i18n] Chercheuse (CNRS, Institut de Mathématiques de Bordeaux)
  • David Pfannholzer, [i18n] Ingénieur
  • Antoine Plet, [i18n] Enseignant
  • Valentina Popescu, [i18n] Ingénieure (SambaNova Systems)
  • Xavier Pujol, [i18n] Ingénieure (Millenium)
  • Chen Qian, [i18n] Chercheur (Université de Shandong, Chine)
  • Saurabh Kumar Raina, [i18n] Enseignant-chercheur (Jaypee Institute of Information Technology, Noida, Inde)
  • Guillaume Revy, [i18n] Maître de conférence (Université de Perpignan)
  • Mahshid Riahinia, [i18n] Post-doc (IRIF, Université Paris Cité)
  • Miruna Roșca, [i18n] Ingénieur ((Pi Squared Inc., Roumanie))
  • Hippolyte Signargout
  • Philippe Théveny, [i18n] Ingénieur de développement (PostFinance, Suisse)
  • Radu Titiu, [i18n] Ingénieur (Bitdefender, Roumanie)
  • Ida Tucker, [i18n] Ingénieure (Zondax AG)
  • Nicolas Veyrat-Charvillon, [i18n] Scientifique R&D (Ubisoft)
  • Weiqiang Wen, [i18n] Maître de conférence (Telecom Paris)

A.T.E.R, ingénieurs, enseignants-chercheurs en délégation, post-doctorants

  • Shi Bai, [i18n] Assistant professor (Florida Atlantic University)
  • Sanjay Bhattacherjee, [i18n] Lecturer in Cyber Security (University of Kent)
  • Édouard Bechetoille, [i18n] Ingénieur (IPNL)
  • Jean-Luc Beuchat, [i18n] Enseignant-chercheur (HES-SO Valais-Wallis, Suisse)
  • Rishiraj Bhattacharyya, [i18n] Chercheur (Indian Statistical Institute, Kolkata)
  • Paola Boito, [i18n] Associate professor (Università di Pisa, Italia)
  • Caroline Collange, [i18n] Chercheur (Inria Rennes – Bretagne Atlantique)
  • Catherine Daramy-Loirat, [i18n] Ingénieur
  • Amit Deo, [i18n] Senior Cryptography Researcher (Zama)
  • Jia Dingding, [i18n] Assistant Research Fellow (Chinese Academy of Sciences)
  • Laurent-Stéphane Didier, [i18n] Professeur (Université de Toulon)
  • Nicolas Estibals (Quatre fromages)
  • Christman Fagbohoun, [i18n] Ingénieur
  • Junqing Gong, [i18n] Professeur (East China Normal University)
  • Alonso González, [i18n] Cryptographe (Polygon Labs)
  • Stef Graillat, [i18n] Professeur (LIP6, Sorbonne Université)
  • Laurent Grémy, [i18n] Ingénieur
  • Eleonora Guerrini, [i18n] Maîtresse de conférence (LIRMM, Polytech Montpellier)
  • Gottfried Herold, [i18n] Chercheur (Ethereum Foundation (Bonn, Germany))
  • Nicolas Jourdan, [i18n] Ingénieur (Centre Inria de l'Université Grenoble Alpes)
  • Jingyan Jourdan-Lu, [i18n] Ingénieure (ST Microelectronics)
  • Hervé Tale Kalachi (Université de Yaounde 1, Cameroun)
  • Elena Kirshanova, [i18n] Lead Cryptanalyst (TII, Abu Dhabi, U.A.E.)
  • Olga Kupriianova, [i18n] Ingénieure
  • Philippe Langlois (LIRMM, Université de Perpignan)
  • Changmin Lee, [i18n] Assistant Professor (KIAS, Séoul, Corée du Sud)
  • Jiangtao Li, [i18n] Lecturer (Shanghai University, China)
  • Micaela Mayero, [i18n] Maître de Conférences (LIPN, Université Sorbonne Paris Nord)
  • Marc Mezzarobba, [i18n] Chercheur (CNRS, LIX, École Polytechnique)
  • Arnold Neumaier, [i18n] Professeur invité (Université de Vienne, Autriche)
  • Hong Diep Nguyen
  • Andrew Novocin
  • Octavie Paris, [i18n] Manager de projet européen (Inserm)
  • Iona Pasca, [i18n] Professeur agrégé (I.U.T. de Nîmes)
  • Clément Pernet, [i18n] Professeur (LJK, Grenoble INP - UGA)
  • Somindu Chaya Ramanna, [i18n] Assistant Professor (I.I.T., Kharagpur, India)
  • Honoré Takeugming, [i18n] Ingénieur (Alstom)
  • Laurent Thévenoux, [i18n] Ingénieur (AdaCore)
  • Ilia Toli
  • Ahmed Touhami, [i18n] Professeur (Université de Settat, Maroc)
  • Nick Trefethen, [i18n] Professeur (Université Harvard, U.S.A.)
  • Warwick Tucker, [i18n] Professeur (Université Monash, Australie)
  • Álvaro Vázquez Álvarez
  • Anastasia Volkova, [i18n] Chercheuse (Centre Inria de Lyon)
  • Alexandre Wallet, [i18n] Chercheur (PQ Shield)
  • Jinming Wen, [i18n] Professeur (Université de Jinan, Chine)