Institution. Inria

People

Armaël Guéneau armaelgueneauPermanent researcher, Toccata team · Inria
PhD advisorArthur Charguéraud, François Pottier
Postdoc advisorLars Birkedal
PhDInria
cambium.inria.fr/~agueneau · 0000-0003-3072-4045

Arthur Charguéraud arthurchargueraudInria
PhD advisorFrançois Pottier
Postdoc advisorUmut A. Acar
PhD studentsArmaël Guéneau
PhDUniversité Paris Diderot
chargueraud.org

Claude Kirchner claudekirchnerInria
PhD advisorJean-Pierre Jouannaud
PhD studentsCody Roux
PhDUniversité Henri Poincaré (Nancy 1)
0000-0002-1686-1046

Cole Comfort colecomfortPostdoc · Inria
PhDUniversity of Oxford
colecomfort.github.io · 0009-0000-3120-8822

Frédéric Blanqui fredericblanquiResearcher · Inria
0000-0001-7438-5554

Gérard Huet gerardhuetDirecteur de Recherche émérite · Inria
PhD studentsChristine Paulin-Mohring, Thierry Coquand
pauillac.inria.fr/~huet

Guillaume Munch-Maccagnoni guillaumemunchmaccagnoniInria
PhD advisorPierre-Louis Curien, Thomas Ehrhard
PhDUniversité Paris Diderot
guillaume.munch-maccagnoni.name · 0009-0001-7914-7165 · gadmm · @gadmm@mathstodon.xyz

Hugo Paquet hugopaquetChargé de recherche · Inria
PhD advisorGlynn Winskel
Postdoc advisorLuke Ong, Sam Staton
PhDUniversity of Cambridge
di.ens.fr/~hpaquet · 0000-0002-8192-0321

Jean-Jacques Lévy jeanjacqueslevyDirecteur de recherche émérite · Inria
PhD advisorMaurice Paul Nivat
PhD studentsSylvain Conchon
PhDUniversité Paris Diderot
pauillac.inria.fr/~levy

Michael I. Jordan michaelijordanInria
PhD advisorDavid Everett Rumelhart, Donald Arthur Norman
PhD studentsPercy Liang, Tommi Jaakkola
PhDUniversity of California San Diego
people.eecs.berkeley.edu/~jordan

Roberto Di Cosmo robertodicosmoInria
PhD studentsVincent Balat
dicosmo.org · 0000-0002-7493-5349

PhD alumni

Armaël Guéneau armaelgueneauPermanent researcher, Toccata team · Inria
PhD advisorArthur Charguéraud, François Pottier
Postdoc advisorLars Birkedal
PhDInria
cambium.inria.fr/~agueneau · 0000-0003-3072-4045

Formerly here

Amal Ahmed amalahmedProfessor & Associate Dean for Graduate Programs · Northeastern University
PhD studentsJohn Li, Max S. New, William J. Bowman
PhDPrinceton University
Master’sStanford University
UndergraduateBrown University
khoury.northeastern.edu/home/amal

Benedikt Ahrens benediktahrensAssistant Professor · Delft University of Technology
PhD studentsKobe Wullaert
PostdocsJonathan Weinberger
PhDUniversité Côte d’Azur
Master’sUniversité Côte d’Azur
UndergraduateUniversität Bayreuth
benediktahrens.gitlab.io · 0000-0002-6786-4538 · benediktahrens

Bryce Clarke bryceclarkeResearcher · Tallinn University of Technology
PhD advisorMichael Johnson
PhDMacquarie University
Master’sMacquarie University
bryceclarke.github.io · 0000-0003-0579-2804

Cătălin Hriţcu catalinhritcuTenured Faculty (Tenured Research Group Leader) · Max Planck Institute for Security and Privacy
PhD studentsArthur Azevedo de Amorim
PhDSaarland University
catalin-hritcu.github.io · 0000-0001-8919-8081

Danel Ahman danelahmanAssociate Professor · University of Tartu
PhDUniversity of Edinburgh
danel.ahman.ee · 0000-0001-6595-2756 · danelahman

Filip Sieczkowski filipsieczkowskiAssistant professor · University of Wrocław
PhDIT University of Copenhagen
Master’sUniversity of Wrocław
fsieczkowski.github.io · 0000-0001-5011-3458 · https://github.com/fsieczkowski/

Frank Pfenning frankpfenningProfessor of Computer Science · Carnegie Mellon University
PhD advisorPeter B. Andrews
PhD studentsBernardo Toninho, CB Aberle, Chris Martens, Henry DeYoung, Jana Dunfield, Noam Zeilberger, Rowan Davies
PhDCarnegie Mellon University
Master’sCarnegie Mellon University
cs.cmu.edu/~fp

Noam Zeilberger noamzeilbergerAssistant Professor in Computer Science · École Polytechnique
PhD advisorFrank Pfenning, Peter Lee
PostdocsLê Thành Dũng Nguyên
PhDCarnegie Mellon University
noamz.org · 0000-0002-5945-4184 · noamz

Rob van Glabbeek robvanglabbeekRoyal Society Wolfson Fellow and Professor · University of Edinburgh
theory.stanford.edu/~rvg · 0000-0003-4712-7423

Thierry Coquand thierrycoquandProfessor · University of Gothenburg
PhD advisorGérard Huet
PostdocsEvan Cavallo
PhDUniversité Paris Diderot
cse.chalmers.se/~coquand · 0000-0002-5429-5153
inria institution entries/institutions/inria.hel