CINXE.COM
Olivier SERRE — Home
<!DOCTYPE html> <html> <head> <title>Olivier SERRE — Home</title> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> <meta name="viewport" content="width=device-width, initial-scale=1.0"> <!-- jQuery (necessary for Bootstrap's JavaScript plugins) --> <script src="js/jquery.js"></script> <!-- Include all compiled plugins (below), or include individual files as needed --> <script src="js/bootstrap.min.js"></script> <!-- BibTexJS --> <script type="text/javascript" src="js/bibtex_js.js"></script> <!-- Perso.js --> <script src="js/perso.js"></script> <!-- CSS Bootstrap --> <link href="css/bootstrap.css" rel="stylesheet"> <!-- CSS --> <link href="css/perso.css" rel="stylesheet"> <!-- HTML5 Shim and Respond.js IE8 support of HTML5 elements and media queries --> <!-- WARNING: Respond.js doesn't work if you view the page via file:// --> <!--[if lt IE 9]> <script src="https://oss.maxcdn.com/libs/html5shiv/3.7.0/html5shiv.js"></script> <script src="https://oss.maxcdn.com/libs/respond.js/1.3.0/respond.min.js"></script> <![endif]--> </head> <body> <div class="navbar navbar-inverse navbar-fixed-top" role="navigation"> <div class="container"> <div class="navbar-header"> <button type="button" class="navbar-toggle" data-toggle="collapse" data-target=".navbar-collapse"> <span class="sr-only">Toggle navigation</span> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> <a class="navbar-brand" href="index.html">Olivier SERRE</a> </div> <div class="collapse navbar-collapse"> <ul class="nav navbar-nav"> <li class="active"><a href="index.html">Home</a></li> <li><a href="publications.html">Publications</a></li> <li><a href="teaching.html">Teaching</a></li> </ul> </div><!--/.nav-collapse --> </div> </div> <div class="container"> <div class="row"> <div class="col-sm-8"> <h2>Who I am?</h2> <p>I am a full-time CNRS researcher in the <a href="https://www.irif.fr/equipes/automates/index">Automata and Applications group</a> at <a href="https://www.irif.fr">IRIF</a> (Institut de Recherche en Informatique Fondamentale) in Paris, France.</p> <p>Since September 2021, I am Directeur Adjoint Scientifique / Deputy Scientific Director at the <a href='http://www.cnrs.fr/ins2i/'>Institute for Information Sciences and Technologies (INS2I)</a> at CNRS. <p>Since January 2018, I am deputy director of the <a href='https://www.sciencesmaths-paris.fr/'>Fondation Sciences Mathématiques de Paris</a>, so feel free to contact me if you have any question on this point!</p> <p>I am co-editor in chief of <a href="http://www.rairo-ita.org/action/displayJournal?jid=ITA">RAIRO - Theoretical Informatics and Applications</a>. </p> <p>I currently co-advise with <a href="https://nathanael-fijalkow.github.io/">Nathanaël Fijalkow</a> the PhD thesis of <a href="https://www.irif.fr/users/ohlmann/index">Pierre Ohlmann</a>.</p> <!-- <h2>Some Past Events</h2> <ul> <li><a href="http://www.liafa.univ-paris-diderot.fr/~serre/GTJeux_2014">GDR IM — GT Jeux, Annual Meeting</a>: 23-24 January 2014 — LIAFA, Paris. Organiser.</li> <li><a href="http://www.liafa.univ-paris-diderot.fr/~serre/GTJeux_2014">GDR IM — GT Jeux, Annual Meeting</a>: 23-24 January 2014 — LIAFA, Paris. Organiser.</li> <li><a href="http://www.lsv.ens-cachan.fr/Events/gasics11/">GASICS 2011</a>: 10 September 2011 — Aachen, Germany. PC Member.</li> <li><a href="http://www.liafa.univ-paris-diderot.fr/~serre/Data">Automata and logic for data manipulating programs</a>: 7-8 December 2010 — LIAFA, Paris. co-Organisateur.</li> <li><a href="http://www.liafa.univ-paris-diderot.fr/~serre/Gasics">GASICS fourth meeting</a>: 18-19 November 2010 — LIAFA, Paris. co-Organiser.</li> <li><a href="http://www2.tcs.ifi.lmu.de/Konferenzen/FoSSaCS_2011">FOSSACS 2011</a>: 26 March-4 April 2010 — Saarbrücken, germany. PC Member.</li> <li><a href="http://www.liafa.univ-paris-diderot.fr/~serre/GTJeux">GDR IM — GT Jeux, Annual Meeting</a>: 25-26 octobre 2010 — LIAFA, Paris. Organiser.</li> <li><a href="http://www.lsv.ens-cachan.fr/Events/gasics10/">GASICS 2010</a>: 4 September 2010 — Paris, France. PC Member.</li> <li><a href="http://mfcsl2010.fi.muni.cz/workshops/gpmfv">Workshop on Games and Probabilistic Models in Formal Verification</a> : 28 August 2010 — Brno, Czech Republic. PC Member.</li> <li><a href="http://www.liafa.univ-paris-diderot.fr/~serre/WorkshopSchemes/">Workshop on Higher-Order Recursion Schemes & Pushdown Automata</a> : 10-12 March 2010 — Paris, France. Co-organiser</li> <li><a href="http://www.sofsem.cz/sofsem10/index.php">SOFSEM 2010</a>: 23-29 January 2010 — Špindlerův Mlýn, Czech Republic. PC Member.</li> <li><a href="http://www.lsv.ens-cachan.fr/Events/gasics09/">GASICS 2009</a>: 28 June 2009 — Grenoble, France. PC Member.</li> <li><a href="http://www.comlab.ox.ac.uk/galop09/">GaLoP 2009</a> 28-29 March 2009 — York, UK. PC Member.</li> </ul> --> <h2>CV</h2> You can get my CV (in French) if you click <a href="papers/cv.pdf">here</a>. <h2>How to reach me?</h3> <ul> <li>Office:Office 4029, 4th floor Building Sophie Germain, 8 Place FM/13, 75013 Paris. <a href="https://www.irif.fr/en/informations/contacts">Click here for location</a></li> <li>Email:<ul> <li>first-name.last-name@irif.fr for research</li> <li> first-name.last-name@cnrs.fr for questions relative to CNRS/INS2I</li> </ul> </li> <li><a href="./Files/GPGKeyOlivierSerre.asc">PGP Public Key</a></li> <li>Phone: +33 (0) 1 57 27 94 18</li> <li>Fax: +33 (0) 1 57 27 94 09</li> <li>Postal adress: Olivier Serre, IRIF,Université Paris Diderot - Paris 7, Case 7014, 75205 Paris Cedex 13, France</li> </ul> </div> <div class="col-sm-3 col-sm-offset-1"> <img src="images/olivier_serre.jpg" alt="photo" style="width:100%; position:absolute" id="photo"> </div> </div> </div> </body> </html>