[i18n] skipToContent

Pascaline
Computer Arithmetic, Computer Algebra, and Formal Verification

The team is currently lead by Nicolas Brisebarre and Guillaume Melquiond.


Team members

Permanent members

Administrative staff

  • Chiraz Benamor, ENS de Lyon

PhD students


Former team members

Permanent members

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

PhD students

  • Calvin Abou Haidar, Postdoc (NTT, Tokyo)
  • Sylvie Boldo, Researcher (Inria Saclay – Île-de-France)
  • Nicolas Boullis, Engineer
  • Florent Bréhard, Researcher (CNRS, CRIStAL, Lille)
  • Nicolas Brunie, Engineer (SiFive)
  • Francisco José Cháves Alonso, Professor (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, Researcher (Inria Sophia Antipolis – Méditerranée)
  • David Defour, Professor (Université de Perpignan)
  • Julien Devevey, [i18n] Expert en cryptographie (ANSSI)
  • Jérémie Detrey
  • Pouria Fallahpour, Postdoc (LIP6, Sorbonne Université)
  • Joël Felderhoff, Postdoc (King's College, London)
  • Silviu-Ioan Filip, Researcher (Inria Rennes – Bretagne Atlantique)
  • Pascal Giorgi, Professor (Université de Montpellier)
  • Antoine Gonon, Postdoc (EPFL, Suisse)
  • Arthur Herledan Le Merdy, PhD student (ENS Lyon)
  • Mioara Joldes, Researcher (CNRS, LAAS, Toulouse)
  • Adeline Langlois, Researcher (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, Engineer (Agaetis)
  • Ivan Morel, [i18n] Enseignant
  • Fabrice Mouhartem, Engineer (XWiki)
  • Christophe Mouilleron, Professor (ENSIIE)
  • Vincent Neiger, [i18n] Maître de Conférences (LIP6, Sorbonne Université)
  • Huyen Nguyen
  • Marie Paindavoine, Engineer (Skyld AI)
  • Adrien Panhaleux, Engineer (PeopleDoc Inc.)
  • Bogdan Pasca, Engineer (Intel)
  • Alice Pellet–Mary, Researcher (CNRS, Institut de Mathématiques de Bordeaux)
  • David Pfannholzer, Engineer
  • Antoine Plet, [i18n] Enseignant
  • Valentina Popescu, Engineer (SambaNova Systems)
  • Xavier Pujol, Engineer (Millenium)
  • Chen Qian, Researcher (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, Engineer ((Pi Squared Inc., Roumanie))
  • Hippolyte Signargout
  • Philippe Théveny, [i18n] Ingénieur de développement (PostFinance, Suisse)
  • Radu Titiu, Engineer (Bitdefender, Roumanie)
  • Ida Tucker, Engineer (Zondax AG)
  • Nicolas Veyrat-Charvillon, [i18n] Scientifique R&D (Ubisoft)
  • Weiqiang Wen, [i18n] Maître de conférence (Telecom Paris)

Assistant professors, engineers, visiting scientists, postdocs

  • Shi Bai, [i18n] Assistant professor (Florida Atlantic University)
  • Sanjay Bhattacherjee, [i18n] Lecturer in Cyber Security (University of Kent)
  • Édouard Bechetoille, Engineer (IPNL)
  • Jean-Luc Beuchat, [i18n] Enseignant-chercheur (HES-SO Valais-Wallis, Suisse)
  • Rishiraj Bhattacharyya, Researcher (Indian Statistical Institute, Kolkata)
  • Paola Boito, [i18n] Associate professor (Università di Pisa, Italia)
  • Caroline Collange, Researcher (Inria Rennes – Bretagne Atlantique)
  • Catherine Daramy-Loirat, Engineer
  • Amit Deo, [i18n] Senior Cryptography Researcher (Zama)
  • Jia Dingding, [i18n] Assistant Research Fellow (Chinese Academy of Sciences)
  • Laurent-Stéphane Didier, Professor (Université de Toulon)
  • Nicolas Estibals (Quatre fromages)
  • Christman Fagbohoun, Engineer
  • Junqing Gong, Professor (East China Normal University)
  • Alonso González, [i18n] Cryptographe (Polygon Labs)
  • Stef Graillat, Professor (LIP6, Sorbonne Université)
  • Laurent Grémy, Engineer
  • Eleonora Guerrini, [i18n] Maîtresse de conférence (LIRMM, Polytech Montpellier)
  • Gottfried Herold, Researcher (Ethereum Foundation (Bonn, Germany))
  • Nicolas Jourdan, Engineer (Centre Inria de l'Université Grenoble Alpes)
  • Jingyan Jourdan-Lu, Engineer (ST Microelectronics)
  • Hervé Tale Kalachi (Université de Yaounde 1, Cameroun)
  • Elena Kirshanova, [i18n] Lead Cryptanalyst (TII, Abu Dhabi, U.A.E.)
  • Olga Kupriianova, Engineer
  • 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, Researcher (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, Professor (I.U.T. de Nîmes)
  • Clément Pernet, Professor (LJK, Grenoble INP - UGA)
  • Somindu Chaya Ramanna, [i18n] Assistant Professor (I.I.T., Kharagpur, India)
  • Honoré Takeugming, Engineer (Alstom)
  • Laurent Thévenoux, Engineer (AdaCore)
  • Ilia Toli
  • Ahmed Touhami, Professor (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, Researcher (Centre Inria de Lyon)
  • Alexandre Wallet, Researcher (PQ Shield)
  • Jinming Wen, [i18n] Professeur (Université de Jinan, Chine)