Programs and Languages (PL)

<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml" lang="en" dir="ltr" class="no-js"> <head> <meta charset="UTF-8" /> <title>Programs and Languages (PL)</title>  <script> var _paq = window._paq = window._paq || []; /* tracker methods like "setCustomDimension" should be called before "trackPageView" */ _paq.push(['trackPageView']); _paq.push(['enableLinkTracking']); (function() { var u="//apps.roulois.fr/matomo/"; _paq.push(['setTrackerUrl', u+'matomo.php']); _paq.push(['setSiteId', '1']); var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0]; g.async=true; g.src=u+'matomo.js'; s.parentNode.insertBefore(g,s); })(); </script>  <script>(function(H){H.className=H.className.replace(/\bno-js\b/,'js')})(document.documentElement)</script> <meta name="viewport" content="width=device-width,initial-scale=1" /> <link rel="shortcut icon" href="https://www.irif.fr/_media/favicon.ico" /> <link rel="apple-touch-icon" href="https://www.irif.fr/_media/apple-touch-icon.png" /> <meta name="generator" content="DokuWiki"/> <meta name="robots" content="index,follow"/> <meta name="keywords" content="en,equipes,programmes,index"/> <link rel="search" type="application/opensearchdescription+xml" href="https://www.irif.fr/lib/exe/opensearch.php" title=""/> <link rel="start" href="https://www.irif.fr/"/> <link rel="contents" href="https://www.irif.fr/en/equipes/programmes/index?do=index" title="Sitemap"/> <link rel="manifest" href="https://www.irif.fr/lib/exe/manifest.php"/> <link rel="alternate" type="text/html" title="Plain HTML" href="https://www.irif.fr/_export/xhtml/en/equipes/programmes/index"/> <link rel="alternate" type="text/plain" title="Wiki Markup" href="https://www.irif.fr/_export/raw/en/equipes/programmes/index"/> <link rel="canonical" href="https://www.irif.fr/en/equipes/programmes/index"/> <link rel="stylesheet" href="https://www.irif.fr/lib/exe/css.php?t=bootstrap3&tseed=61a6ee3a3e4185dd1cf55b36d7bda871"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedheader-dt/css/fixedHeader.dataTables.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedcolumns-dt/css/fixedColumns.dataTables.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/css/dataTables.bootstrap.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/css/buttons.bootstrap.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/icons/assets/font-awesome/css/font-awesome.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/icons/assets/material-design-icons/css/materialdesignicons.min.css"/>  <script >/*<![CDATA[*/var NS='en:equipes:programmes';var JSINFO = {"plugin":{"datatables":{"config":{"dom":"lBfrtip","language":{"url":"https:\/\/www.irif.fr\/lib\/plugins\/datatables\/assets\/datatables.net-i18n\/en-GB.json"}},"enableForAllTables":1}},"move_renameokay":false,"move_allowrename":false,"bootstrap3":{"mode":"show","toc":[],"config":{"collapsibleSections":0,"fixedTopNavbar":1,"showSemanticPopup":0,"sidebarOnNavbar":1,"tagsOnTop":1,"tocAffix":1,"tocCollapseOnScroll":1,"tocCollapsed":0,"tocLayout":"default","useAnchorJS":1,"useAlternativeToolbarIcons":1}},"id":"en:equipes:programmes:index","namespace":"en:equipes:programmes","ACT":"show","useHeadingNavigation":1,"useHeadingContent":1}; /*!]]>*/</script> <script src="https://www.irif.fr/lib/exe/jquery.php?tseed=34a552433bc33cc9c3bc32527289a0b2" defer="defer"></script> <script src="https://www.irif.fr/lib/exe/js.php?t=bootstrap3&tseed=61a6ee3a3e4185dd1cf55b36d7bda871&lang=en" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/js/jquery.dataTables.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedheader-dt/js/fixedHeader.dataTables.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedcolumns-dt/js/fixedColumns.dataTables.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/dataTables.buttons.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.html5.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.print.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/jszip/jszip.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/pdfmake/pdfmake.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/pdfmake/vfs_fonts.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/js/dataTables.bootstrap.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.bootstrap.min.js" defer="defer"></script> <script type="text/x-mathjax-config">/*<![CDATA[*/MathJax.Hub.Config({ tex2jax: { inlineMath: [ ["$","$"], ["\$","\$"] ], displayMath: [ ["$$","$$"], ["\\[","\\]"] ], processEscapes: true } }); /*!]]>*/</script> <script type="text/javascript" charset="utf-8" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.9/MathJax.js?config=TeX-AMS_CHTML.js"></script>  <style type="text/css">@media screen { body { margin-top: 60px; } #dw__toc.affix { top: 50px; position: fixed !important; } #dw__toc .nav .nav .nav { display: none; } }</style>  </head> <body class="simplex dokuwiki mode_show tpl_bootstrap3 dw-fluid-container" data-page-id="en:equipes:programmes:index"><div class="dokuwiki"> <header id="dokuwiki__header" class="dw-container dokuwiki container-fluid mx-5">  <nav id="dw__navbar" class="navbar navbar-fixed-top navbar-inverse" role="navigation"> <div class="dw-container container-fluid mx-5"> <div class="navbar-header"> <button class="navbar-toggle" type="button" data-toggle="collapse" data-target=".navbar-collapse"> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> <a class="navbar-brand d-flex align-items-center" href="https://www.irif.fr/index" accesskey="h" title=""><img id="dw__logo" class="pull-left h-100 mr-4" alt="" src="https://www.irif.fr/_media/logo.png" /><div class="pull-right"><div id="dw__title"></div></div></a> </div> <div class="collapse navbar-collapse"> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">INFORMATION <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/en/informations/presentation" class="wikilink1" title="en:informations:presentation" >Presentation</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/informations/contacts" class="wikilink1" title="en:informations:contacts" >Contact and access</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/informations/charte" class="wikilink1" title="en:informations:charte" >IRIF Members Charter</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/egalite-fh/index" class="wikilink1" title="en:egalite-fh:index" >Equality</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/environnement/index" class="wikilink1" title="en:environnement:index" >Environment</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/informations/annuaire" class="wikilink1" title="en:informations:annuaire" >Directory</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/informations/mentorat" class="wikilink1" title="en:informations:mentorat" >IRIF’s mentoring program</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/childcare" class="wikilink1" title="informations:childcare" >Childcare program</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node active dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">RESEARCH <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <strong><a href="https://www.irif.fr/en/poles/asd/index" class="wikilink1" title="en:poles:asd:index" >Algorithms and discrete structures</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/algocomp/index" class="wikilink1" title="en:equipes:algocomp:index" >Algorithms and complexity</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/combi/index" class="wikilink1" title="en:equipes:combi:index" >Combinatorics</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/distribue/index" class="wikilink1" title="en:equipes:distribue:index" >Distributed computing</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/graphes/index" class="wikilink1" title="en:equipes:graphes:index" >Theory and algorithmics of graphs</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/poles/asv/index" class="wikilink1" title="en:poles:asv:index" >Automata, structures and verification</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/automates/index" class="wikilink1" title="en:equipes:automates:index" >Automata and applications</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/verif/index" class="wikilink1" title="en:equipes:verif:index" >Modeling and verification</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/poles/pps/index" class="wikilink1" title="en:poles:pps:index" >Proofs, programs and systems</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/algebre/index" class="wikilink1" title="en:equipes:algebre:index" >Algebra and computation</a> </li> <li class="level2 active"> <a href="https://www.irif.fr/en/equipes/programmes/index" class="wikilink1" title="en:equipes:programmes:index" data-wiki-curid="true">Programs and Languages (PL)</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/preuves/index" class="wikilink1" title="en:equipes:preuves:index" >Proofs and programs</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/equipes/picube/index" class="wikilink1" title="en:equipes:picube:index" >Picube (Inria)</a><hr/> </li> <li class="level2"> <strong><a href="https://cnrs.hal.science/IRIF#" class="" title="https://cnrs.hal.science/IRIF#" rel="ugc nofollow">PUBLICATIONS (hal)</a></strong><br/> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">EVENTS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <strong><a href="https://www.irif.fr/en/seminaires/evenements" class="wikilink1" title="en:seminaires:evenements" >IRIF events</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/irif/index" class="wikilink1" title="en:seminaires:irif:index" >IRIF Distinguished Talks Series</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/rencontres/irif/index" class="wikilink1" title="en:rencontres:irif:index" >IRIF days</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/rencontres/poles/index" class="wikilink1" title="en:rencontres:poles:index" >Pole meetings</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/env/index" class="wikilink1" title="en:seminaires:env:index" >IRIF and environment group</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/seminaires/seminaires" class="wikilink1" title="en:seminaires:seminaires" >Research seminars</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/algocomp/index" class="wikilink1" title="en:seminaires:algocomp:index" >Algorithms and complexity</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/asd/index" class="wikilink1" title="en:seminaires:asd:index" >Algorithms and discrete structures</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/automates/index" class="wikilink1" title="en:seminaires:automates:index" >Automata</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/combi/index" class="wikilink1" title="en:seminaires:combi:index" >Enumerative and analytic combinatorics</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/adg/index" class="wikilink1" title="en:seminaires:adg:index" >Graphs and distributed computing</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/picube/index" class="wikilink1" title="en:seminaires:picube:index" >Formath</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/pps/index" class="wikilink1" title="en:seminaires:pps:index" >Proofs, programs and systems</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/verif/index" class="wikilink1" title="en:seminaires:verif:index" >Verification</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/doctorants/index" class="wikilink1" title="en:seminaires:doctorants:index" >Non-permanent members’ seminar</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/seminaires/onlineseminars" class="wikilink1" title="en:seminaires:onlineseminars" >Online seminars</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/greta/index" class="wikilink1" title="en:seminaires:greta:index" >Graph Transformation Theory and Applications</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/numeration/index" class="wikilink1" title="en:seminaires:numeration:index" >One world numeration seminar</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/seminaires/gt" class="wikilink1" title="en:seminaires:gt" >Working groups</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/cat/index" class="wikilink1" title="en:seminaires:cat:index" >Higher categories, polygraphs and homotopy</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/laag/index" class="wikilink1" title="en:seminaires:laag:index" >Logic, automata, algebra and games</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/programmation/index" class="wikilink1" title="en:seminaires:programmation:index" >Programming</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/semantique/index" class="wikilink1" title="en:seminaires:semantique:index" >Semantics</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/sms/index" class="wikilink1" title="en:seminaires:sms:index" >Syntax Meets Semantics</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/hott/index" class="wikilink1" title="en:seminaires:hott:index" >Type theory and homotopy theory</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/types/index" class="wikilink1" title="en:seminaires:types:index" >Type theory and realisability</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/en/seminaires/soutenances" class="wikilink1" title="en:seminaires:soutenances" >Defences</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/these/index" class="wikilink1" title="en:seminaires:these:index" >PhD defences</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/seminaires/hdr/index" class="wikilink1" title="en:seminaires:hdr:index" >Habilitation defences</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">MEDIATION <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/en/mediation/fdls" class="wikilink1" title="en:mediation:fdls" >Fête de la Science</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/mediation/scolaire" class="wikilink1" title="en:mediation:scolaire" >Middle/High school internships</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/portraits/index" class="wikilink1" title="en:portraits:index" >Research profiles</a> </li> <li class="level2"> <a href="https://icalp2022.irif.fr/?page_id=1111" class="" title="https://icalp2022.irif.fr/?page_id=1111" rel="ugc nofollow">50 Years Exhibitation</a> </li> <li class="level2"> <a href="https://qubobs.irif.fr" class="" title="https://qubobs.irif.fr" rel="ugc nofollow">Projet QuBOBS (quantum computing explained)</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">HIGHLIGHTS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/en/distinctions/index" class="wikilink1" title="en:distinctions:index" >Awards and Honors</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/logiciels/index" class="wikilink1" title="en:logiciels:index" >Software</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/contrats/index" class="wikilink1" title="en:contrats:index" >Grants</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/international/index" class="wikilink1" title="en:international:index" >International Collaborations</a> </li> <li class="level2"> <a href="https://epit.irif.fr" class="" title="https://epit.irif.fr" rel="ugc nofollow">The EPIT Research School</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/formation/index" class="wikilink1" title="en:formation:index" >Academics</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">JOIN US <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/en/informations/visit" class="wikilink1" title="en:informations:visit" >Visitor program</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/admin" class="wikilink1" title="en:postes:admin" >Research support position</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/universite" class="wikilink1" title="en:postes:universite" >Faculty members</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/chercheur" class="wikilink1" title="en:postes:chercheur" >Researchers</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/postdoc" class="wikilink1" title="en:postes:postdoc" >Postdocs</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/ater" class="wikilink1" title="en:postes:ater" >Teaching assistants</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/these" class="wikilink1" title="en:postes:these" >PhD Studies</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/stage" class="wikilink1" title="en:postes:stage" >Master Internships</a> </li> <li class="level2"> <a href="https://www.irif.fr/en/postes/stage-scolaire" class="wikilink1" title="en:postes:stage-scolaire" >Middle/High school internships</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1"> <a href="https://www.irif.fr/en/intranet/index" class="wikilink1" title="en:intranet:index" >INTRANET</a> </li> </ul> <div class="navbar-right" id="dw__navbar_items">  <ul class="nav navbar-nav" id="dw__translation"> <li class="dropdown"> <a href="" class="dropdown-toggle" data-target="#" data-toggle="dropdown" title="Translations of this page" role="button" aria-haspopup="true" aria-expanded="false"> <span class="iconify" data-icon="mdi:flag"></span> <span class="hidden-lg hidden-md hidden-sm">Translations of this page</span><span class="caret"></span> </a> <ul class="dropdown-menu" role="menu"> <li class="dropdown-header hidden-xs hidden-sm"> <span class="iconify" data-icon="mdi:flag"></span> Translations of this page </li> <li><div class='li'><a href="https://www.irif.fr/equipes/programmes/index" class="wikilink1 flag" title="Français"><img src="https://www.irif.fr/lib/plugins/translation/flags/fr.gif" alt="fr" height="11" />Français</a></li><li><div class='li cur'><a href="https://www.irif.fr/en/equipes/programmes/index" class="wikilink1 cur flag" title="English"><img src="https://www.irif.fr/lib/plugins/translation/flags/en.gif" alt="en" height="11" />English</a></li> </ul> </li> </ul>  <ul class="nav navbar-nav"> <li> <span class="dw__actions dw-action-icon"> <a href="https://www.irif.fr/en/equipes/programmes/index?do=login&sectok=" title="Log In" rel="nofollow" class="menuitem login btn btn-default navbar-btn"><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24"><path d="M10 17.25V14H3v-4h7V6.75L15.25 12 10 17.25M8 2h9a2 2 0 0 1 2 2v16a2 2 0 0 1-2 2H8a2 2 0 0 1-2-2v-4h2v4h9V4H8v4H6V4a2 2 0 0 1 2-2z"/></svg><span class=""> Log In</span></a> </span> </li> </ul> </div> </div> </div> </nav>  </header> <a name="dokuwiki__top" id="dokuwiki__top"></a> <main role="main" class="dw-container pb-5 dokuwiki container-fluid mx-5"> <div id="dokuwiki__pageheader"> <p class="text-right"> </p> <div id="dw__msgarea" class="small"> </div> </div> <div class="row"> <article id="dokuwiki__content" class="col-sm-12 col-md-12 " itemscope itemtype="http://schema.org/Article" itemref="dw__license">  <div class="no-panel" itemprop="articleBody"> <div class="page "> <div class="dw-content-page "><div class="dw-content"><div class="datatemplateentry"> <p> <br/> </p> <div class="wrap_right plugin_wrap"> <p> <div class="bs-wrap bs-wrap-well well"> <span class="bs-wrap bs-wrap-button" data-btn-type="primary" data-btn-size="sm" data-btn-disabled="1">Thematic team</span> </p> <div class=""> <p> <span class="bs-wrap bs-wrap-label label label-default">Pole</span> <a href="https://www.irif.fr/en/equipes/programmes/0_pageid" class="wikilink2" title="en:equipes:programmes:0_pageid" rel="nofollow" data-wiki-id="en:equipes:programmes:0_pageid"><a href="https://www.irif.fr/en/poles/pps/index" class="wikilink1" title="en:poles:pps:index" data-wiki-id="en:poles:pps:index">Proofs, programs and systems</a></a><br/> </p> </div> <p> </div> </p> </div> <h2 class="sectionedit3 page-header pb-3 mb-4 mt-5" id="programs_and_languages_pl">Programs and Languages (PL)</h2> <div class="level2"> <p> <br/> </p> </div> <h4 id="head">Head</h4> <div class="level4"> <div class=""> <p> <a href="https://www.irif.fr/~jkrivine" class="urlextern" title="https://www.irif.fr/~jkrivine" rel="ugc nofollow">Jean Krivine</a><br/> </p> </div> </div> </div> <p> <br/> </p> <h4 id="research_themes">Research themes</h4> <div class="level4"> <p> The thematic team “Programs and Languages” (PL) covers the activities of the PPS pole, primarily focusing on the design of programs, protocols, or programming languages that are based on or modeled by theoretical tools, most of which are studied within the pole. The team's objective is to bridge the gap between engineering practice and fundamental computer science. A non-exhaustive list of our areas of interest and contributions includes: </p> <ul class=" fix-media-list-overlap"> <li class="level1 node"><div class="li"> The design of general-purpose or domain-specific programming languages: </div> <ul class=" fix-media-list-overlap"> <li class="level4"><div class="li"> Functional programming (Ocaml), Concurrent programming (Elixir), Synchronous programming (Heptagon), and Probabilistic programming (ProbZelus) </div> </li> <li class="level4"><div class="li"> Coq (proof assistant) and its applications to software verification or mathematics education, Cduce (XML-oriented functional language), Kappa (DSL for molecular biology, based on graph rewriting)</div> </li> </ul> </li> <li class="level1"><div class="li"> The study and design of distributed systems and the protocols that implement them: Babel (routing protocol), smart contracts for Blockchain (modeling and verification of distributed systems)</div> </li> </ul> <p> <br/> </p> </div> <h4 id="seminar_and_working_groups">Seminar and working groups</h4> <div class="level4"> <p> <a href="https://www.irif.fr/en/seminaires/pps/index" class="wikilink1" title="en:seminaires:pps:index" data-wiki-id="en:seminaires:pps:index">Proofs, programs and systems</a> <br/> <a href="https://www.irif.fr/en/seminaires/programmation/index" class="wikilink1" title="en:seminaires:programmation:index" data-wiki-id="en:seminaires:programmation:index">Programming</a><br/> <a href="https://www.irif.fr/en/seminaires/types/index" class="wikilink1" title="en:seminaires:types:index" data-wiki-id="en:seminaires:types:index">Type theory and realisability</a> </p> <p> <br/> </p> </div> <h4 id="permanent_members">Permanent members</h4> <div class="level4"> </div> <div class="plugin_include_content plugin_include__en:equipes:programmes:db:annuaire_perm_en" id="plugin_include__en__equipes__programmes__db__annuaire_perm_en"> <div class="level4"> <div class="dt-wrapper" data-page-length='-1' data-dom='frt'><div class="table-responsive"><table class="inline table table-striped table-condensed"> <thead> <tr class="row0"> <th class="col0">Name</th><th class="col1">@</th><th class="col2">Phone</th><th class="col3">Office</th><th class="col4">Position</th><th class="col5">Pole</th><th class="col6">Team</th> </tr> </thead> <tr class="row1"> <td class="col0"> <a href="https://www.irif.fr/~baudart/" class="urlextern" title="https://www.irif.fr/~baudart/" rel="ugc nofollow"> Baudart Guillaume </a> </td><td class="col1"> <a href="mailto:Guillaume.Baudart@irif.fr" class="mail" title="Guillaume.Baudart@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4026 </td><td class="col4"> Research Scientist - INRIA ISFP </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row2"> <td class="col0"> <a href="https://www.irif.fr/~gio/index.xhtml" class="urlextern" title="https://www.irif.fr/~gio/index.xhtml" rel="ugc nofollow"> Bernardi Giovanni </a> </td><td class="col1"> <a href="mailto:Giovanni.Bernardi@irif.fr" class="mail" title="Giovanni.Bernardi@irif.fr">@</a> </td><td class="col2"> 01 57 27 93 38 </td><td class="col3"> 4021 </td><td class="col4"> Associate Professor </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a>, <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row3"> <td class="col0"> <a href="https://www.irif.fr/~gc" class="urlextern" title="https://www.irif.fr/~gc" rel="ugc nofollow"> Castagna Giuseppe </a> </td><td class="col1"> <a href="mailto:Giuseppe.Castagna@irif.fr" class="mail" title="Giuseppe.Castagna@irif.fr">@</a> </td><td class="col2"> 01 57 27 93 40 </td><td class="col3"> 3039 </td><td class="col4"> Senior Research Scientist - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row4"> <td class="col0"> <a href="https://www.irif.fr/~dagand/" class="urlextern" title="https://www.irif.fr/~dagand/" rel="ugc nofollow"> Dagand Pierre-Evariste </a> </td><td class="col1"> <a href="mailto:Pierre-Evariste.Dagand@irif.fr" class="mail" title="Pierre-Evariste.Dagand@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 29 </td><td class="col3"> 3012 </td><td class="col4"> Research Scientist - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row5"> <td class="col0"> <a href="https://www.irif.fr/~ehrhard" class="urlextern" title="https://www.irif.fr/~ehrhard" rel="ugc nofollow"> Ehrhard Thomas </a> </td><td class="col1"> <a href="mailto:Thomas.Ehrhard@irif.fr" class="mail" title="Thomas.Ehrhard@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 17 </td><td class="col3"> 4014a </td><td class="col4"> Senior Research Scientist - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row6"> <td class="col0"> <a href="https://hugo.feree.fr" class="urlextern" title="https://hugo.feree.fr" rel="ugc nofollow"> Férée Hugo </a> </td><td class="col1"> <a href="mailto:Hugo.Feree@irif.fr" class="mail" title="Hugo.Feree@irif.fr">@</a> </td><td class="col2 leftalign"> 01 57 27 94 05 </td><td class="col3"> 4011 </td><td class="col4"> Associate Professor </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row7"> <td class="col0"> <a href="https://www.irif.fr/~guatto/" class="urlextern" title="https://www.irif.fr/~guatto/" rel="ugc nofollow"> Guatto Adrien </a> </td><td class="col1"> <a href="mailto:Adrien.Guatto@irif.fr" class="mail" title="Adrien.Guatto@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 15 </td><td class="col3"> 3019 </td><td class="col4"> Associate Professor </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row8"> <td class="col0"> <a href="http://pauillac.inria.fr/~herbelin" class="urlextern" title="http://pauillac.inria.fr/~herbelin" rel="ugc nofollow"> Herbelin Hugo </a> </td><td class="col1"> <a href="mailto:Hugo.Herbelin@irif.fr" class="mail" title="Hugo.Herbelin@irif.fr">@</a> </td><td class="col2"> 01 57 27 90 87 </td><td class="col3"> 3029 </td><td class="col4"> Senior Research Scientist - INRIA </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row9"> <td class="col0"> <a href="https://www.irif.fr/~jkrivine" class="urlextern" title="https://www.irif.fr/~jkrivine" rel="ugc nofollow"> Krivine Jean </a> </td><td class="col1"> <a href="mailto:Jean.Krivine@irif.fr" class="mail" title="Jean.Krivine@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4027 </td><td class="col4"> Research Scientist - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row10"> <td class="col0"> <a href="https://www.irif.fr/~letouzey" class="urlextern" title="https://www.irif.fr/~letouzey" rel="ugc nofollow"> Letouzey Pierre </a> </td><td class="col1"> <a href="mailto:Pierre.Letouzey@irif.fr" class="mail" title="Pierre.Letouzey@irif.fr">@</a> </td><td class="col2"> 01 57 27 93 37 </td><td class="col3"> 3040 </td><td class="col4"> Associate Professor </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row11"> <td class="col0"> <a href="http://jeanjacqueslevy.net" class="urlextern" title="http://jeanjacqueslevy.net" rel="ugc nofollow"> Lévy Jean-Jacques </a> </td><td class="col1"> <a href="mailto:jean-jacques.levy@inria.fr" class="mail" title="jean-jacques.levy@inria.fr">@</a> </td><td class="col2"> 01 57 27 92 68 </td><td class="col3"> 4032 </td><td class="col4"> Senior Research Scientist Emeritus - INRIA </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row12"> <td class="col0"> <a href="https://www.irif.fr/~narboux/" class="urlextern" title="https://www.irif.fr/~narboux/" rel="ugc nofollow"> Narboux Julien </a> </td><td class="col1"> <a href="mailto:Julien.Narboux@irif.fr" class="mail" title="Julien.Narboux@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 58 </td><td class="col3"> 3022 </td><td class="col4"> Associate Professor </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row13"> <td class="col0"> <a href="https://www.irif.fr/~ruet" class="urlextern" title="https://www.irif.fr/~ruet" rel="ugc nofollow"> Ruet Paul </a> </td><td class="col1"> <a href="mailto:Paul.Ruet@irif.fr" class="mail" title="Paul.Ruet@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 48 </td><td class="col3"> 3023 </td><td class="col4"> Research Scientist - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row14"> <td class="col0"> <a href="https://www.irif.fr/users/saurin/index" class="urlextern" title="https://www.irif.fr/users/saurin/index" rel="ugc nofollow"> Saurin Alexis </a> </td><td class="col1"> <a href="mailto:Alexis.Saurin@irif.fr" class="mail" title="Alexis.Saurin@irif.fr">@</a> </td><td class="col2"> 01 57 27 93 37 </td><td class="col3"> 3040 </td><td class="col4"> Research Scientist - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row15"> <td class="col0"> <a href="http://gallium.inria.fr/~scherer/" class="urlextern" title="http://gallium.inria.fr/~scherer/" rel="ugc nofollow"> Scherer Gabriel </a> </td><td class="col1"> <a href="mailto:Gabriel.Scherer@irif.fr" class="mail" title="Gabriel.Scherer@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4032 </td><td class="col4"> Research Scientist - INRIA </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row16"> <td class="col0"> <a href="https://www.irif.fr/~treinen" class="urlextern" title="https://www.irif.fr/~treinen" rel="ugc nofollow"> Treinen Ralf </a> </td><td class="col1"> <a href="mailto:Ralf.Treinen@irif.fr" class="mail" title="Ralf.Treinen@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 44 </td><td class="col3"> 3021 </td><td class="col4"> Professor </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a>, <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> </table></div> </div> </div> </div> <div class="level4"> <p> <br/> </p> </div> <h4 id="non-permanent_members">Non-permanent members</h4> <div class="level4"> </div> <div class="plugin_include_content plugin_include__en:equipes:programmes:db:annuaire_noperm_en" id="plugin_include__en__equipes__programmes__db__annuaire_noperm_en"> <div class="level4"> <div class="dt-wrapper" data-page-length='-1' data-dom='frt'><div class="table-responsive"><table class="inline table table-striped table-condensed"> <thead> <tr class="row0"> <th class="col0">Name</th><th class="col1">@</th><th class="col2">Phone</th><th class="col3">Office</th><th class="col4">Position</th><th class="col5">Pole</th><th class="col6">Team</th> </tr> </thead> <tr class="row1"> <td class="col0"> <a href="https://www.irif.fr/~chikhoune/" class="urlextern" title="https://www.irif.fr/~chikhoune/" rel="ugc nofollow"> Chikhoune Idir </a> </td><td class="col1"> <a href="mailto:Idir.Chikhoune@irif.fr" class="mail" title="Idir.Chikhoune@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Visitor </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row2"> <td class="col0"> <a href="https://www.irif.fr/~gduboc/" class="urlextern" title="https://www.irif.fr/~gduboc/" rel="ugc nofollow"> Duboc Guillaume </a> </td><td class="col1"> <a href="mailto:Guillaume.Duboc@irif.fr" class="mail" title="Guillaume.Duboc@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3010 </td><td class="col4"> PhD Student </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row3"> <td class="col0"> <a href="https://www.irif.fr/~gallego/" class="urlextern" title="https://www.irif.fr/~gallego/" rel="ugc nofollow"> Gallego Emilio </a> </td><td class="col1"> <a href="mailto:Emilio.Gallego@irif.fr" class="mail" title="Emilio.Gallego@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 24 </td><td class="col3"> 4030 </td><td class="col4"> Starting research position - INRIA </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row4"> <td class="col0"> <a href="https://xsnow.live" class="urlextern" title="https://xsnow.live" rel="ugc nofollow"> Huang Xuejing </a> </td><td class="col1"> <a href="mailto:Xuejing.Huang@irif.fr" class="mail" title="Xuejing.Huang@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3018 </td><td class="col4"> Post-Doc </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row5"> <td class="col0"> <a href="https://sites.google.com/site/farzadjafarrahmani/" class="urlextern" title="https://sites.google.com/site/farzadjafarrahmani/" rel="ugc nofollow"> Jafar-Rhamani Farzad </a> </td><td class="col1"> <a href="mailto:Farzad.Jafar-Rhamani@irif.fr" class="mail" title="Farzad.Jafar-Rhamani@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 92 </td><td class="col3"> 3026 </td><td class="col4"> Post-Doc </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row6"> <td class="col0"> <a href="https://www.ps.uni-saarland.de/~kirst/" class="urlextern" title="https://www.ps.uni-saarland.de/~kirst/" rel="ugc nofollow"> Kirst Dominik </a> </td><td class="col1"> <a href="mailto:Dominik.Kirst@irif.fr" class="mail" title="Dominik.Kirst@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4053 </td><td class="col4"> Post-Doc </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a>, <a href="https://www.irif.fr/equipes/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row7"> <td class="col0"> <a href="https://www.irif.fr/~mlaurent" class="urlextern" title="https://www.irif.fr/~mlaurent" rel="ugc nofollow"> Laurent Mickael </a> </td><td class="col1"> <a href="mailto:mlaurent@irif.fr" class="mail" title="mlaurent@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3033 </td><td class="col4"> PhD Student </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> <tr class="row8"> <td class="col0"> <a href="https://www.irif.fr/~yndiaye/" class="urlextern" title="https://www.irif.fr/~yndiaye/" rel="ugc nofollow"> Ndiaye Yves </a> </td><td class="col1"> <a href="mailto:Yves.Ndiaye@irif.fr" class="mail" title="Yves.Ndiaye@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> PhD Student </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row9"> <td class="col0"> <a href="https://www.irif.fr/~astyax/" class="urlextern" title="https://www.irif.fr/~astyax/" rel="ugc nofollow"> Nourel Astyax </a> </td><td class="col1"> <a href="mailto:Astyax.Nourel@irif.fr" class="mail" title="Astyax.Nourel@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3044 </td><td class="col4"> Post-Doc </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a> </td> </tr> <tr class="row10"> <td class="col0"> <a href="https://www.irif.fr/~vienot/" class="urlextern" title="https://www.irif.fr/~vienot/" rel="ugc nofollow"> Vienot Ada </a> </td><td class="col1"> <a href="mailto:Ada.Vienot@irif.fr" class="mail" title="Ada.Vienot@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3044 </td><td class="col4"> PhD Student </td><td class="col5"> <a href="https://www.irif.fr/poles/pps/index" class="urlextern" title="https://www.irif.fr/poles/pps/index" rel="ugc nofollow"> PPS </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/programmes/index" class="urlextern" title="https://www.irif.fr/equipes/programmes/index" rel="ugc nofollow"> programmes </a>, <a href="https://www.irif.fr/equipes/preuves/index" class="urlextern" title="https://www.irif.fr/equipes/preuves/index" rel="ugc nofollow"> preuves </a> </td> </tr> </table></div> </div> </div> </div> <div class="level4"> </div> </div></div><p> <style> .page a.urlextern, .page a.interwiki, .page a.windows, .page a.mail, .page a.media { padding-left: 0 !important; background: none !important; } .page { text-align: justify; } body {font-size: 15px; font-weight: 300; color: #333333; } b,strong {font-weight: 600; color: #333333; } p {margin-bottom:1.3em} h1 {font-size: 2.8em; margin-bottom:1.5em; font-weight: 400; } h2 {font-size: 2.2em; margin-bottom:1.2em; font-weight: 400; } h3 {font-size: 1.9em; margin-bottom:0.9em; font-weight: 400; } h4 {font-size: 1.7em; margin-bottom:0.8em; font-weight: 300; } h5 {font-size: 1.5em; margin-bottom:0.8em; font-weight: 300; } h5 {font-size: 1.4em; margin-bottom:0.8em; font-weight: 300; } </style> </p> </div> </div> <div class="small text-right"> </div> </article> </div> </main> <footer id="dw__footer" class="dw-container py-5 dokuwiki container-fluid">  <div class="dw-container small container-fluid mx-5"> <div class="footer-dw-title"> <div class="media"> <div class="media-left">  <img src="https://www.irif.fr/_media/logo_footer.png" alt="" class="media-object" style="height:10px" /> </div> <div class="media-body"> <div class="row"> <div class="col-sm-2"> <h4 class="media-heading"></h4> <p> </p> </div> <div class="col-sm-10"> </div> </div> </div> </div> </div> <a style="font-size:12px" href="https://www.irif.fr/informations/mentions-legales">Mentions légales</a> <div class="footer-license row"> <hr/> <div id="dw__license" class="col-sm-6"> </div> <div class="col-sm-6"> </div> </div> </div>  </footer> <a href="#dokuwiki__top" class="back-to-top hidden-print btn btn-default" title="skip to content" accesskey="t"> <span class="iconify" data-icon="mdi:chevron-up"></span> </a> <div id="screen__mode"> <span class="visible-xs-block"></span> <span class="visible-sm-block"></span> <span class="visible-md-block"></span> <span class="visible-lg-block"></span> </div> <img src="https://www.irif.fr/lib/exe/taskrunner.php?id=en%3Aequipes%3Aprogrammes%3Aindex&1740572309" width="2" height="1" alt="" /> </div> </body> </html>

CINXE.COM

Programs and Languages (PL)