Automata, structures and verification

<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml" lang="en" dir="ltr" class="no-js"> <head> <meta charset="UTF-8" /> <title>Automata, structures and verification</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,poles,asv,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/poles/asv/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/poles/asv/index"/> <link rel="alternate" type="text/plain" title="Wiki Markup" href="https://www.irif.fr/_export/raw/en/poles/asv/index"/> <link rel="canonical" href="https://www.irif.fr/en/poles/asv/index"/> <link rel="stylesheet" href="https://www.irif.fr/lib/exe/css.php?t=bootstrap3&tseed=999b1f07158911a883ed4b945a522775"/> <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:poles:asv';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:poles:asv:index","namespace":"en:poles:asv","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=999b1f07158911a883ed4b945a522775&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:poles:asv: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/environnement/index" class="wikilink1" title="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 active"> <strong><a href="https://www.irif.fr/en/poles/asv/index" class="wikilink1" title="en:poles:asv:index" data-wiki-curid="true">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"> <a href="https://www.irif.fr/en/equipes/programmes/index" class="wikilink1" title="en:equipes:programmes:index" >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/poles/asv/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/poles/asv/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/poles/asv/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">Pole</span> </p> <div class=""> <p> <span class="bs-wrap bs-wrap-label label label-default">Thematic team</span> <a href="https://www.irif.fr/en/poles/asv/0_pageid" class="wikilink2" title="en:poles:asv:0_pageid" rel="nofollow" data-wiki-id="en:poles:asv:0_pageid"><a href="https://www.irif.fr/en/equipes/automates/index" class="wikilink1" title="en:equipes:automates:index" data-wiki-id="en:equipes:automates:index">Automata and applications</a></a><br/> <span class="bs-wrap bs-wrap-label label label-default">Thematic team</span> <a href="https://www.irif.fr/en/poles/asv/1_pageid" class="wikilink2" title="en:poles:asv:1_pageid" rel="nofollow" data-wiki-id="en:poles:asv:1_pageid"><a href="https://www.irif.fr/en/equipes/verif/index" class="wikilink1" title="en:equipes:verif:index" data-wiki-id="en:equipes:verif:index">Modeling and verification</a></a><br/> </p> </div> <p> </div> </p> </div> <h2 class="sectionedit3 page-header pb-3 mb-4 mt-5" id="automata_structures_and_verification">Automata, structures and verification</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/~carton/" class="urlextern" title="https://www.irif.fr/~carton/" rel="ugc nofollow">Olivier Carton</a><br/> </p> </div> </div> </div> <p> <br/> </p> <h4 id="research_themes">Research themes</h4> <div class="level4"> <p> The research activities of the pole “Automata, Structures, and Verification” concern in general the study of computer systems by investigating their computing power and the properties of their computations. These activities cover a large spectrum of research themes, from theory to applications, including: </p> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> the study of mathematical models allowing to describe at different levels of abstraction the behaviors of different classes of systems,</div> </li> <li class="level1"><div class="li"> the definition of specification formalisms for expressing and reasoning about the properties of the behaviors of different types of systèmes, and the investigation of effective links between different classes of formal models and specification formalisms,</div> </li> <li class="level1"><div class="li"> the study of decision problems concerning different classes of systems, formal models, and properties, and the design of algorithmic approaches allowing to solve efficiently and in an automated way these decision problems,</div> </li> <li class="level1"><div class="li"> the development of innovating tools which implement theses approaches, targeting different types of concrete applications including: cyber-physical systems, embedded systems, modern system and networked infrastructures, data bases, etc. </div> </li> </ul> <p> The pole is gathering two teams, the “Automata and Applications” team and the “Modeling and Verification” team. These two teams are close and complementary, they share numerous objects of study (e.g., words, tree structures, orders, automata, logics, etc.) as well as questions concerning these objects and tools for tackling these question (e.g., decidability and complexity issues, expressiveness issues, establishing automata-logics links, model-checking, algorithms for solving games, etc.) </p> <p> The research activities of the pole are organized in several axes that are transversal to the two teams of the pole: </p> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> Computation models and structures, </div> </li> <li class="level1"><div class="li"> Data manipulating systems, </div> </li> <li class="level1"><div class="li"> Quantitative reasoning, </div> </li> <li class="level1"><div class="li"> Concurrent and distributed systems, </div> </li> <li class="level1"><div class="li"> Dynamic systems applied to computer science. </div> </li> </ul> <p> <br/> </p> </div> <h4 id="events">Events</h4> <div class="level4"> <ul class=" fix-media-list-overlap"> <li class="level1 node"><div class="li"> Seminars</div> <ul class=" fix-media-list-overlap"> <li class="level2"><div class="li"> <a href="https://www.irif.fr/en/seminaires/automates/index" class="wikilink1" title="en:seminaires:automates:index" data-wiki-id="en:seminaires:automates:index">Automata</a></div> </li> <li class="level2"><div class="li"> <a href="https://www.irif.fr/en/seminaires/verif/index" class="wikilink1" title="en:seminaires:verif:index" data-wiki-id="en:seminaires:verif:index">Verification</a></div> </li> </ul> </li> <li class="level1"><div class="li"> Online seminar <a href="https://www.irif.fr/en/seminaires/numeration/index" class="wikilink1" title="en:seminaires:numeration:index" data-wiki-id="en:seminaires:numeration:index">One world numeration seminar</a></div> </li> <li class="level1"><div class="li"> Working group <a href="https://www.irif.fr/en/seminaires/laag/index" class="wikilink1" title="en:seminaires:laag:index" data-wiki-id="en:seminaires:laag:index">Logic, automata, algebra and games</a></div> </li> <li class="level1"><div class="li"> Meetings <a href="https://www.irif.fr/en/rencontres/asv/index" class="wikilink1" title="en:rencontres:asv:index" data-wiki-id="en:rencontres:asv:index">Automata, structures and verification</a></div> </li> </ul> <p> <br/> </p> </div> <h4 id="permanent_members">Permanent members</h4> <div class="level4"> </div> <div class="plugin_include_content plugin_include__en:poles:asv:db:annuaire_perm_en" id="plugin_include__en__poles__asv__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/~asarin/" class="urlextern" title="https://www.irif.fr/~asarin/" rel="ugc nofollow"> Asarin Eugène </a> </td><td class="col1"> <a href="mailto:Eugene.ASARIN@irif.fr" class="mail" title="Eugene.ASARIN@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 34 </td><td class="col3"> 4040 </td><td class="col4"> Professor </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </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/~berthe/" class="urlextern" title="https://www.irif.fr/~berthe/" rel="ugc nofollow"> Berthé Valérie </a> </td><td class="col1"> <a href="mailto:Valerie.Berthe@irif.fr" class="mail" title="Valerie.Berthe@irif.fr">@</a> </td><td class="col2"> 01 57 27 93 35 </td><td class="col3"> 4014 </td><td class="col4"> Senior Research Scientist - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/asd/index" class="urlextern" title="https://www.irif.fr/poles/asd/index" rel="ugc nofollow"> ASD </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/combi/index" class="urlextern" title="https://www.irif.fr/equipes/combi/index" rel="ugc nofollow"> combi </a> </td> </tr> <tr class="row4"> <td class="col0"> <a href="https://www.irif.fr/~abou/" class="urlextern" title="https://www.irif.fr/~abou/" rel="ugc nofollow"> Bouajjani Ahmed </a> </td><td class="col1"> <a href="mailto:Ahmed.Bouajjani@irif.fr" class="mail" title="Ahmed.Bouajjani@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 64 </td><td class="col3"> 4023 </td><td class="col4"> Professor </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row5"> <td class="col0"> <a href="https://www.irif.fr/~carton/" class="urlextern" title="https://www.irif.fr/~carton/" rel="ugc nofollow"> Carton Olivier </a> </td><td class="col1"> <a href="mailto:Olivier.Carton@irif.fr" class="mail" title="Olivier.Carton@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 54 </td><td class="col3"> 4037 </td><td class="col4"> Professor </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row6"> <td class="col0"> <a href="https://www.irif.fr/~cc/" class="urlextern" title="https://www.irif.fr/~cc/" rel="ugc nofollow"> Choffrut Christian </a> </td><td class="col1"> <a href="mailto:Christian.Choffrut@irif.fr" class="mail" title="Christian.Choffrut@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 45 </td><td class="col3"> 4007 </td><td class="col4"> Professor Emeritus </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row7"> <td class="col0"> <a href="https://www.irif.fr/~colcombe/" class="urlextern" title="https://www.irif.fr/~colcombe/" rel="ugc nofollow"> Colcombet Thomas </a> </td><td class="col1"> <a href="mailto:Thomas.COLCOMBET@irif.fr" class="mail" title="Thomas.COLCOMBET@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 32 </td><td class="col3"> 3042 </td><td class="col4"> Senior Research Scientist - CNRS </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row8"> <td class="col0"> <a href="https://www.irif.fr/~adegorre/" class="urlextern" title="https://www.irif.fr/~adegorre/" rel="ugc nofollow"> Degorre Aldric </a> </td><td class="col1"> <a href="mailto:Aldric.Degorre@irif.fr" class="mail" title="Aldric.Degorre@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 32 </td><td class="col3"> 4018 </td><td class="col4"> Associate Professor </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row9"> <td class="col0"> <a href="https://www.irif.fr/~mfortin/" class="urlextern" title="https://www.irif.fr/~mfortin/" rel="ugc nofollow"> Fortin Marie </a> </td><td class="col1"> <a href="mailto:Marie.Fortin@irif.fr" class="mail" title="Marie.Fortin@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 00 </td><td class="col3"> 4016 </td><td class="col4"> Research Scientist - CNRS </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row10"> <td class="col0"> <a href="https://mo-f.github.io/Mo-F/" class="urlextern" title="https://mo-f.github.io/Mo-F/" rel="ugc nofollow"> Foughali Mohammed </a> </td><td class="col1"> <a href="mailto:foughali@irif.fr" class="mail" title="foughali@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 49 </td><td class="col3"> 4043 </td><td class="col4"> Associate Professor </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row11"> <td class="col0"> <a href="https://www.irif.fr/~amelie/" class="urlextern" title="https://www.irif.fr/~amelie/" rel="ugc nofollow"> Gheerbrant Amelie </a> </td><td class="col1"> <a href="mailto:Amelie.Gheerbrant@irif.fr" class="mail" title="Amelie.Gheerbrant@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 46 </td><td class="col3"> 4039 </td><td class="col4"> Associate Professor </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row12"> <td class="col0"> <a href="https://www.irif.fr/~ig/" class="urlextern" title="https://www.irif.fr/~ig/" rel="ugc nofollow"> Guessarian Irène </a> </td><td class="col1"> <a href="mailto:Irene.GUESSARIAN@irif.fr" class="mail" title="Irene.GUESSARIAN@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 59 </td><td class="col3"> 3032 </td><td class="col4"> Professor Emeritus - Sorbonne Université </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </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> <tr class="row13"> <td class="col0"> <a href="https://www.irif.fr/~haberm" class="urlextern" title="https://www.irif.fr/~haberm" rel="ugc nofollow"> Habermehl Peter </a> </td><td class="col1"> <a href="mailto:Peter.HABERMEHL@irif.fr" class="mail" title="Peter.HABERMEHL@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 68 </td><td class="col3"> 3009 </td><td class="col4"> Professor </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </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> <tr class="row14"> <td class="col0"> <a href="https://www.irif.fr/~horn/" class="urlextern" title="https://www.irif.fr/~horn/" rel="ugc nofollow"> Horn Florian </a> </td><td class="col1"> <a href="mailto:Florian.HORN@irif.fr" class="mail" title="Florian.HORN@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 46 </td><td class="col3"> 4039 </td><td class="col4"> Research Scientist - CNRS </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </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> <tr class="row15"> <td class="col0"> <a href="https://www.irif.fr/~jurski/" class="urlextern" title="https://www.irif.fr/~jurski/" rel="ugc nofollow"> Jurski Yan </a> </td><td class="col1"> <a href="mailto:jurski@irif.fr" class="mail" title="jurski@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 41 </td><td class="col3"> 4027 </td><td class="col4"> Associate Professor </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row16"> <td class="col0"> <a href="https://www.irif.fr/~francoisl/" class="urlextern" title="https://www.irif.fr/~francoisl/" rel="ugc nofollow"> Laroussinie François </a> </td><td class="col1"> <a href="mailto:Francois.Laroussinie@irif.fr" class="mail" title="Francois.Laroussinie@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 42 </td><td class="col3"> 4034 </td><td class="col4"> Professor </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </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> <tr class="row17"> <td class="col0"> <a href="http://libk.in" class="urlextern" title="http://libk.in" rel="ugc nofollow"> Libkin Leonid </a> </td><td class="col1"> <a href="mailto:Leonid.Libkin@irif.fr" class="mail" title="Leonid.Libkin@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3042 </td><td class="col4"> Professor - Chaire industrielle </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row18"> <td class="col0"> <a href="https://www.irif.fr/~mellies" class="urlextern" title="https://www.irif.fr/~mellies" rel="ugc nofollow"> Melliès Paul-André </a> </td><td class="col1"> <a href="mailto:mellies@irif.fr" class="mail" title="mellies@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 48 </td><td class="col3"> 3023 </td><td class="col4"> Senior Research Scientist - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </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/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row19"> <td class="col0"> <a href="https://www.irif.fr/~petrisan/" class="urlextern" title="https://www.irif.fr/~petrisan/" rel="ugc nofollow"> Petrisan Daniela </a> </td><td class="col1"> <a href="mailto:Daniela.Petrisan@irif.fr" class="mail" title="Daniela.Petrisan@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 00 </td><td class="col3"> 4016 </td><td class="col4"> Associate Professor </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </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/picube/index" class="urlextern" title="https://www.irif.fr/equipes/picube/index" rel="ugc nofollow"> picube </a> </td> </tr> <tr class="row20"> <td class="col0"> <a href="https://www.irif.fr/~picantin/" class="urlextern" title="https://www.irif.fr/~picantin/" rel="ugc nofollow"> Picantin Matthieu </a> </td><td class="col1"> <a href="mailto:picantin@irif.fr" class="mail" title="picantin@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 49 </td><td class="col3"> 4043 </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/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a>, <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row21"> <td class="col0"> <a href="https://www.irif.fr/~jep/" class="urlextern" title="https://www.irif.fr/~jep/" rel="ugc nofollow"> Pin Jean-Éric </a> </td><td class="col1"> <a href="mailto:Jean-Eric.PIN@irif.fr" class="mail" title="Jean-Eric.PIN@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 18 </td><td class="col3"> 4007 </td><td class="col4"> Senior Research Scientist Emeritus - CNRS </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row22"> <td class="col0"> <a href="https://www.pouly.fr" class="urlextern" title="https://www.pouly.fr" rel="ugc nofollow"> Pouly Amaury </a> </td><td class="col1"> <a href="mailto:Amaury.Pouly@irif.fr" class="mail" title="Amaury.Pouly@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3 leftalign"> </td><td class="col4"> Research Scientist - CNRS - Currently on leave </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row23"> <td class="col0"> <a href="https://www.irif.fr/~sakarovitch/" class="urlextern" title="https://www.irif.fr/~sakarovitch/" rel="ugc nofollow"> Sakarovitch Jacques </a> </td><td class="col1"> <a href="mailto:Jacques.Sakarovitch@irif.fr" class="mail" title="Jacques.Sakarovitch@irif.fr">@</a> </td><td class="col2"> 01 57 27 90 86 </td><td class="col3"> 3032 </td><td class="col4"> Senior Research Scientist Emeritus - CNRS </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row24"> <td class="col0"> <a href="https://www.irif.fr/~schmitz/" class="urlextern" title="https://www.irif.fr/~schmitz/" rel="ugc nofollow"> Schmitz Sylvain </a> </td><td class="col1"> <a href="mailto:Sylvain.Schmitz@irif.fr" class="mail" title="Sylvain.Schmitz@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 16 </td><td class="col3"> 3048 </td><td class="col4"> Professor </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </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> <tr class="row25"> <td class="col0"> <a href="https://www.irif.fr/~serre/" class="urlextern" title="https://www.irif.fr/~serre/" rel="ugc nofollow"> Serre Olivier </a> </td><td class="col1"> <a href="mailto:Olivier.SERRE@irif.fr" class="mail" title="Olivier.SERRE@irif.fr">@</a> </td><td class="col2"> 01 57 27 94 18 </td><td class="col3"> 4029 </td><td class="col4"> Senior Research Scientist - CNRS </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row26"> <td class="col0"> <a href="https://www.irif.fr/~mahsa/" class="urlextern" title="https://www.irif.fr/~mahsa/" rel="ugc nofollow"> Shirmohammadi Mahsa </a> </td><td class="col1"> <a href="mailto:Mahsa.Shirmohammadi@irif.fr" class="mail" title="Mahsa.Shirmohammadi@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 29 </td><td class="col3"> 4017 </td><td class="col4"> Research Scientist - CNRS </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row27"> <td class="col0"> <a href="https://www.irif.fr/~cristina/" class="urlextern" title="https://www.irif.fr/~cristina/" rel="ugc nofollow"> Sirangelo Cristina </a> </td><td class="col1"> <a href="mailto:Cristina.Sirangelo@irif.fr" class="mail" title="Cristina.Sirangelo@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 35 </td><td class="col3"> 4042 </td><td class="col4"> Professor </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row28"> <td class="col0"> <a href="https://www.irif.fr/~steiner/" class="urlextern" title="https://www.irif.fr/~steiner/" rel="ugc nofollow"> Steiner Wolfgang </a> </td><td class="col1"> <a href="mailto:Wolfgang.Steiner@irif.fr" class="mail" title="Wolfgang.Steiner@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 33 </td><td class="col3"> 4044 </td><td class="col4"> Research Scientist - CNRS </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/asd/index" class="urlextern" title="https://www.irif.fr/poles/asd/index" rel="ugc nofollow"> ASD </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/combi/index" class="urlextern" title="https://www.irif.fr/equipes/combi/index" rel="ugc nofollow"> combi </a> </td> </tr> <tr class="row29"> <td class="col0"> <a href="https://www.irif.fr/~touili/" class="urlextern" title="https://www.irif.fr/~touili/" rel="ugc nofollow"> Touili Tayssir </a> </td><td class="col1"> <a href="mailto:touili@irif.fr" class="mail" title="touili@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 61 </td><td class="col3"> 4028a </td><td class="col4"> Senior Research Scientist </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row30"> <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> <tr class="row31"> <td class="col0"> <a href="https://www.irif.fr/~winter" class="urlextern" title="https://www.irif.fr/~winter" rel="ugc nofollow"> Winter Sarah </a> </td><td class="col1"> <a href="mailto:Sarah.Winter@irif.fr" class="mail" title="Sarah.Winter@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4026 </td><td class="col4"> Associate Professor </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row32"> <td class="col0"> <a href="http://yunes.informatique.univ-paris-diderot.fr/" class="urlextern" title="http://yunes.informatique.univ-paris-diderot.fr/" rel="ugc nofollow"> Yunès Jean-Baptiste </a> </td><td class="col1"> <a href="mailto:Jean-Baptiste.Yunes@univ-paris-diderot.fr" class="mail" title="Jean-Baptiste.Yunes@univ-paris-diderot.fr">@</a> </td><td class="col2"> 01 57 27 92 62 </td><td class="col3"> 4047 </td><td class="col4"> Associate Professor </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row33"> <td class="col0"> <a href="https://www.irif.fr/~zielonka" class="urlextern" title="https://www.irif.fr/~zielonka" rel="ugc nofollow"> Zielonka Wiesław </a> </td><td class="col1"> <a href="mailto:Wieslaw.Zielonka@irif.fr" class="mail" title="Wieslaw.Zielonka@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3015 </td><td class="col4"> Professor Emeritus </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row34"> <td class="col0"> <a href="http://www.samvangool.net" class="urlextern" title="http://www.samvangool.net" rel="ugc nofollow"> van Gool Sam </a> </td><td class="col1"> <a href="mailto:vangool@irif.fr" class="mail" title="vangool@irif.fr">@</a> </td><td class="col2"> 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/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </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> </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:poles:asv:db:annuaire_noperm_en" id="plugin_include__en__poles__asv__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://ridaaitelmanssour.com/" class="urlextern" title="https://ridaaitelmanssour.com/" rel="ugc nofollow"> Ait-El-Manssour Rida </a> </td><td class="col1"> <a href="mailto:Rida.Ait-El-Manssour@irif.fr" class="mail" title="Rida.Ait-El-Manssour@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/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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row2"> <td class="col0"> <a href="https://quentin.aristote.fr/" class="urlextern" title="https://quentin.aristote.fr/" rel="ugc nofollow"> Aristote Quentin </a> </td><td class="col1"> <a href="mailto:Quentin.Aristote@irif.fr" class="mail" title="Quentin.Aristote@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/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </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="row3"> <td class="col0"> <a href="https://www.irif.fr/~boutglay/" class="urlextern" title="https://www.irif.fr/~boutglay/" rel="ugc nofollow"> Boutglay Wael-Amine </a> </td><td class="col1"> <a href="mailto:boutglay@irif.fr" class="mail" title="boutglay@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4059 </td><td class="col4"> PhD Student </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row4"> <td class="col0"> <a href="https://www.irif.fr/~buffiere/" class="urlextern" title="https://www.irif.fr/~buffiere/" rel="ugc nofollow"> Buffiere Hector </a> </td><td class="col1"> <a href="mailto:Hector.Buffiere@irif.fr" class="mail" title="Hector.Buffiere@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4055 </td><td class="col4"> PhD Student </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/asd/index" class="urlextern" title="https://www.irif.fr/poles/asd/index" rel="ugc nofollow"> ASD </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/graphes/index" class="urlextern" title="https://www.irif.fr/equipes/graphes/index" rel="ugc nofollow"> graphes </a> </td> </tr> <tr class="row5"> <td class="col0"> <a href="https://www.irif.fr/~elmehdi/" class="urlextern" title="https://www.irif.fr/~elmehdi/" rel="ugc nofollow"> Cherradi El-Mehdi </a> </td><td class="col1"> <a href="mailto:El-Mehdi.Cherradi@irif.fr" class="mail" title="El-Mehdi.Cherradi@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4054 </td><td class="col4"> PhD Student </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </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> </td> </tr> <tr class="row6"> <td class="col0"> <a href="https://www.irif.fr/~werneck/" class="urlextern" title="https://www.irif.fr/~werneck/" rel="ugc nofollow"> De-Lacerda-Werneck Maria-Clara </a> </td><td class="col1"> <a href="mailto:Maria-Clara.De-Lacerda-Werneck@irif.fr" class="mail" title="Maria-Clara.De-Lacerda-Werneck@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/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <a href="https://www.irif.fr/poles/asd/index" class="urlextern" title="https://www.irif.fr/poles/asd/index" rel="ugc nofollow"> ASD </a> </td><td class="col6"> <a href="https://www.irif.fr/equipes/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a>, <a href="https://www.irif.fr/equipes/combi/index" class="urlextern" title="https://www.irif.fr/equipes/combi/index" rel="ugc nofollow"> combi </a> </td> </tr> <tr class="row7"> <td class="col0"> <a href="https://www.logiqueconsult.eu" class="urlextern" title="https://www.logiqueconsult.eu" rel="ugc nofollow"> Dzamonja Mirna </a> </td><td class="col1"> <a href="mailto:Mirna.Dzamonja@irif.fr" class="mail" title="Mirna.Dzamonja@irif.fr">@</a> </td><td class="col2"> 01 57 27 92 51 </td><td class="col3"> 3047 </td><td class="col4"> Associated Member - Chercheuse projet UE </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row8"> <td class="col0"> <a href="https://www.irif.fr/~erlich/" class="urlextern" title="https://www.irif.fr/~erlich/" rel="ugc nofollow"> Erlich Enzo </a> </td><td class="col1"> <a href="mailto:Enzo.Erlich@irif.fr" class="mail" title="Enzo.Erlich@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3014 </td><td class="col4"> PhD Student </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </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> </td> </tr> <tr class="row9"> <td class="col0"> <a href="https://www.irif.fr/~guillou/" class="urlextern" title="https://www.irif.fr/~guillou/" rel="ugc nofollow"> Guillou Lucie </a> </td><td class="col1"> <a href="mailto:Lucie.Guillou@irif.fr" class="mail" title="Lucie.Guillou@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4057 </td><td class="col4"> PhD Student </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row10"> <td class="col0"> <a href="https://www.irif.fr/~idir/" class="urlextern" title="https://www.irif.fr/~idir/" rel="ugc nofollow"> Idir Olivier </a> </td><td class="col1"> <a href="mailto:Olivier.Idir@irif.fr" class="mail" title="Olivier.Idir@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4033 </td><td class="col4"> PhD Student </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row11"> <td class="col0"> <a href="https://www.irif.fr/~jacoboinclan/" class="urlextern" title="https://www.irif.fr/~jacoboinclan/" rel="ugc nofollow"> Jacobo-Inclan Bernardo </a> </td><td class="col1"> <a href="mailto:Bernardo.Jacobo-Inclan@irif.fr" class="mail" title="Bernardo.Jacobo-Inclan@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3035 </td><td class="col4"> PhD Student </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row12"> <td class="col0"> <a href="https://www.irif.fr/~kochdumper/" class="urlextern" title="https://www.irif.fr/~kochdumper/" rel="ugc nofollow"> Kochdumper Niklas </a> </td><td class="col1"> <a href="mailto:Niklas.Kochdumper@irif.fr" class="mail" title="Niklas.Kochdumper@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3057 </td><td class="col4"> Post-Doc </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row13"> <td class="col0"> <a href="https://www.irif.fr/~larroque/" class="urlextern" title="https://www.irif.fr/~larroque/" rel="ugc nofollow"> Larroque Emile </a> </td><td class="col1"> <a href="mailto:Emile.Larroque@irif.fr" class="mail" title="Emile.Larroque@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/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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </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> <tr class="row14"> <td class="col0"> <a href="https://www.irif.fr/~laversa/" class="urlextern" title="https://www.irif.fr/~laversa/" rel="ugc nofollow"> Laversa Laetitia </a> </td><td class="col1"> <a href="mailto:Laetitia.Laversa@irif.fr" class="mail" title="Laetitia.Laversa@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3044 </td><td class="col4"> Teaching and Research Assistant </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </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> <tr class="row15"> <td class="col0"> <a href="https://www.irif.fr/~leclercq/" class="urlextern" title="https://www.irif.fr/~leclercq/" rel="ugc nofollow"> Leclercq Loriane </a> </td><td class="col1"> <a href="mailto:Loriane.Leclercq@irif.fr" class="mail" title="Loriane.Leclercq@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3044 </td><td class="col4"> Teaching and Research Assistant </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row16"> <td class="col0"> <a href="https://www.irif.fr/~shilin/" class="urlextern" title="https://www.irif.fr/~shilin/" rel="ugc nofollow"> Lin Shijie </a> </td><td class="col1"> <a href="mailto:Shijie.Lin@irif.fr" class="mail" title="Shijie.Lin@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/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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row17"> <td class="col0"> <a href="https://jeremie-marques.name/" class="urlextern" title="https://jeremie-marques.name/" rel="ugc nofollow"> Marques Jeremie </a> </td><td class="col1"> <a href="mailto:Jeremie.Marques@irif.fr" class="mail" title="Jeremie.Marques@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3028 </td><td class="col4"> Post-Doc </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row18"> <td class="col0"> <a href="https://www.irif.fr/~iamcgham/" class="urlextern" title="https://www.irif.fr/~iamcgham/" rel="ugc nofollow"> Mollo-Cunningham Ignacio-Agustin </a> </td><td class="col1"> <a href="mailto:Ignacio-Agustin.Mollo-Cunningham@irif.fr" class="mail" title="Ignacio-Agustin.Mollo-Cunningham@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/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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row19"> <td class="col0"> <a href="https://www.irif.fr/~moreau/" class="urlextern" title="https://www.irif.fr/~moreau/" rel="ugc nofollow"> Moreau Vincent </a> </td><td class="col1"> <a href="mailto:moreau@irif.fr" class="mail" title="moreau@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4033 </td><td class="col4"> PhD Student </td><td class="col5"> <a href="https://www.irif.fr/poles/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </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/algebre/index" class="urlextern" title="https://www.irif.fr/equipes/algebre/index" rel="ugc nofollow"> algebre </a> </td> </tr> <tr class="row20"> <td class="col0"> <a href="https://srinidhin.com" class="urlextern" title="https://srinidhin.com" rel="ugc nofollow"> Nagendra Srinidhi </a> </td><td class="col1"> <a href="mailto:Srinidhi.Nagendra@irif.fr" class="mail" title="Srinidhi.Nagendra@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4060 </td><td class="col4"> PhD Student </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row21"> <td class="col0"> <a href="https://www.irif.fr/~nosan/" class="urlextern" title="https://www.irif.fr/~nosan/" rel="ugc nofollow"> Nosan Klara </a> </td><td class="col1"> <a href="mailto:nosan@irif.fr" class="mail" title="nosan@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4031 </td><td class="col4"> PhD Student </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row22"> <td class="col0"> <a href="https://www.irif.fr/~passemard/" class="urlextern" title="https://www.irif.fr/~passemard/" rel="ugc nofollow"> Passemard Luc </a> </td><td class="col1"> <a href="mailto:Luc.Passemard@irif.fr" class="mail" title="Luc.Passemard@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4060 </td><td class="col4"> PhD Student </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row23"> <td class="col0"> <a href="https://www.irif.fr/~frenkin/index.php" class="urlextern" title="https://www.irif.fr/~frenkin/index.php" rel="ugc nofollow"> Renkin Florian </a> </td><td class="col1"> <a href="mailto:Florian.Renkin@irif.fr" class="mail" title="Florian.Renkin@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3028 </td><td class="col4"> Post-Doc </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row24"> <td class="col0"> <a href="https://www.irif.fr/~rogova/" class="urlextern" title="https://www.irif.fr/~rogova/" rel="ugc nofollow"> Rogova Alexandra </a> </td><td class="col1"> <a href="mailto:rogova@irif.fr" class="mail" title="rogova@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3035 </td><td class="col4"> PhD Student </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row25"> <td class="col0"> <a href="https://www.irif.fr/~calvo/" class="urlextern" title="https://www.irif.fr/~calvo/" rel="ugc nofollow"> Roman-Calvo Enrique </a> </td><td class="col1"> <a href="mailto:Enrique.Roman-Calvo@irif.fr" class="mail" title="Enrique.Roman-Calvo@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4060 </td><td class="col4"> PhD Student </td><td class="col5"> <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/verif/index" class="urlextern" title="https://www.irif.fr/equipes/verif/index" rel="ugc nofollow"> verif </a> </td> </tr> <tr class="row26"> <td class="col0"> <a href="https://www.irif.fr/~tarantino/" class="urlextern" title="https://www.irif.fr/~tarantino/" rel="ugc nofollow"> Tarantino Umberto </a> </td><td class="col1"> <a href="mailto:Umberto.Tarantino@irif.fr" class="mail" title="Umberto.Tarantino@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/asv/index" class="urlextern" title="https://www.irif.fr/poles/asv/index" rel="ugc nofollow"> ASV </a>, <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </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> </td> </tr> <tr class="row27"> <td class="col0"> <a href="https://www.irif.fr/~vansintjan/" class="urlextern" title="https://www.irif.fr/~vansintjan/" rel="ugc nofollow"> Van Sint Jan Nicolàs </a> </td><td class="col1"> <a href="mailto:nicovsj@irif.fr" class="mail" title="nicovsj@irif.fr">@</a> </td><td class="col2"> 07 68 11 74 69 </td><td class="col3"> 3035 </td><td class="col4"> PhD Student </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row28"> <td class="col0"> <a href="https://www.irif.fr/~dyilmaz/" class="urlextern" title="https://www.irif.fr/~dyilmaz/" rel="ugc nofollow"> Yilmaz Deniz </a> </td><td class="col1"> <a href="mailto:Deniz.Yilmaz@irif.fr" class="mail" title="Deniz.Yilmaz@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 3034 </td><td class="col4"> PhD Student </td><td class="col5"> <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/automates/index" class="urlextern" title="https://www.irif.fr/equipes/automates/index" rel="ugc nofollow"> automates </a> </td> </tr> <tr class="row29"> <td class="col0"> <a href="https://www.irif.fr/~mzhang/" class="urlextern" title="https://www.irif.fr/~mzhang/" rel="ugc nofollow"> Zhang Maryline </a> </td><td class="col1"> <a href="mailto:Maryline.Zhang@irif.fr" class="mail" title="Maryline.Zhang@irif.fr">@</a> </td><td class="col2 leftalign"> </td><td class="col3"> 4057 </td><td class="col4"> PhD Student </td><td class="col5"> <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/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"> </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%3Apoles%3Aasv%3Aindex&1732765843" width="2" height="1" alt="" /> </div> </body> </html>

CINXE.COM

Automata, structures and verification