CINXE.COM

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd"> <html> <HEAD> <TITLE>Joël Ouaknine: Home Page</TITLE> <STYLE TYPE="text/css">  </STYLE> </HEAD> <BODY> <TABLE> <TBODY> <tr> <td rowspan=2> <img border="1" src="Joel-Ouaknine2.jpg" alt="Joël Ouaknine" height="250"> </td> <td rowspan=2 width=20> </td> <td valign=top> <TABLE> <TBODY> <tr> <td rowspan=2> <FONT SIZE="+2"><b> Joël Ouaknine</b></FONT><br> <b>Scientific Director</b> </td> <td rowspan=1 width=100> </td> <td valign=top> <a href="http://www.mpi-sws.org/"><img border="0" src="mpi-logo1.png" alt="Max Planck Institute for Software Systems" height="80"></a> </td> </tr> </TBODY> </TABLE> <tr> <td valign=bottom> Max Planck Institute for Software Systems<br> Saarland Informatics Campus<br> Campus E1 5<br> 66123 Saarbrücken<br> Germany<br><br> <b>Tel:</b> +49 (0)681 9303 9701<br> <b>Email:</b> joel@mpi-sws.org </td> </tr> </TBODY> </TABLE> <hr> <DIV CLASS="indented"> <img src="sq_blue.gif" alt="">   <a href="bio.html"><b>Short Bio</b></a><br> <img src="sq_blue.gif" alt="">   <a href="long_cv.pdf"><b>Long CV</b></a> / <a href="short_cv.pdf"><b>Short CV</b></a> </DIV> <hr> <DIV CLASS="indented"> <img src="sq_red.gif" alt="">   <b><a href="joining_FAV_Group.html">Joining my group -- available positions</a></b> <br> <img src="sq_red.gif" alt="">   <b><a href="postdoc-LLM-DCS.html">Postdoc position in Advancing Reliable LLM-based Data Curation Systems</a></b> <br> </DIV> <hr> <FONT SIZE="+1"><b>Research</b></FONT><br> <DIV CLASS="indented"> <b>Foundations of Algorithmic Verification</b> and <b>Theoretical Computer Science</b>; in particular:<br> <img src="sq_blue.gif" alt="">   Decision, control, and synthesis problems for discrete and continuous linear dynamical systems (using tools from number theory, Diophantine geometry, algebraic geometry)<br> <img src="sq_blue.gif" alt="">   Automated verification of real-time, probabilistic, and infinite-state systems (e.g. model-checking algorithms, synthesis problems, complexity) <br> <img src="sq_blue.gif" alt="">   Logic and applications to verification <br> <img src="sq_blue.gif" alt="">   Automated software analysis <br> <img src="sq_blue.gif" alt="">   Concurrency </DIV> <hr> <DIV CLASS="indented"> <img src="sq_blue.gif" alt="">   <a href="pubs.html"><b>Publications</b></a>   (see also <a href="https://dblp.org/pid/55/4663.html">DBLP</a>)<br> <img src="sq_blue.gif" alt="">   <a href="soft.html"><b>Software</b></a><br> <img src="sq_blue.gif" alt="">   <a href="funding.html"><b>Funding</b></a><br> <img src="sq_blue.gif" alt="">   <a href="teaching2022-23.html"><b>Teaching (2022/23): <i>Topics in Algorithmic Dynamical Systems Theory</i></b></a> </DIV> <hr> <FONT SIZE="+1"><b> Professional Activities</b></FONT> <DIV CLASS="indented"> <img src="sq_blue.gif" alt="">   <b>Invited Talks:</b> <a href="https://www.crm.cat/fluid-dynamics-geometry-and-computer-science-in-interaction-exploration-of-new-horizons/">Fluid Dynamics, Geometry and Computer Science in Interaction</a>, <a href="https://sda2-2024.sciencesconf.org/">Journées SDA2 24</a>, <a href="https://www.irif.fr/~numeration/OWNS">One World Numeration Seminar (March 24)</a>, <a href="https://theorietag2023.mpi-sws.org/">Theorietag 23</a>, <a href="https://www.modestchecker.net/rocks2023/">ROCKS Workshop 23</a>, <a href="https://th-birthday-workshop.pages.ist.ac.at/">Henzinger @ 60</a>, <a href="https://georgekenison.github.io/worrell/">WORReLL 23</a>, <a href="https://lmf.cnrs.fr/ACTS2023/">ACTS 23</a>, <a href="https://project.inria.fr/syncop23/">SynCoP 23</a>, <a href="https://conferences.ncl.ac.uk/formats2022/">FORMATS 22</a>, <a href="http://automatha.uni-leipzig.de/2020/">AutoMathA 20/21/22</a>, <a href="https://highlights-conference.org/2021/">HIGHLIGHTS 21</a>, <a href="https://compose.ioc.ee/mfcs/accepted.php">MFCS 21</a>, <a href="https://www.siam.org/conferences/cm/conference/ag21">AG21</a>, <a href="https://www.cie2021.ugent.be/">CiE 21</a>, <a href="https://www.fsttcs.org.in/archives/2020/">FSTTCS 20</a>, <a href="http://lmw.mpi-sws.org/index.html">LMV 20</a>, <a href="https://event.cwi.nl/concur2019/">CONCUR 19</a>, <a href="http://cca-net.de/cca2019/">CCA 19</a>, <a href="http://people.mpi-inf.mpg.de/~cikenmey/tcsag/index.html">TCSAG 19</a>, <a href="https://avm2018.iaik.tugraz.at/">AVM 18</a>, <a href="https://www2.warwick.ac.uk/fac/sci/maths/research/events/2017-18/nonsymposium/dimap10/">DIMAP10</a>, <a href="http://www.etaps.org/index.php/2017/fossacs">FoSSaCS 17</a>, <a href="http://www.irif.univ-paris-diderot.fr/~asarin/workshop.html">EQINOCS 16</a>, <a href="http://www.bristol.ac.uk/maths/events/2015/heilbronn-annual-conference.html">Heilbronn Conference 2015</a>,  <a href="http://ffm2015.rwth-aachen.de/">FFM 15</a>, <a href="http://gdrim2015.labri.fr/">GDR-IM 15</a>, <a href="http://www.illc.uva.nl/Tbilisi/Tbilisi2015/">TbiLLC 15</a>, <a href="http://www.lms.ac.uk/events/lectures/lms-bcs-facs-evening-seminars"> LMS/BCS-FACS 14</a>, <a href="http://www.mpi-inf.mpg.de/departments/rg1/conferences/vtsa14/"> VTSA 14</a>, <a href="http://gandalf2014.di.univr.it/">GandALF 14</a>, <a href="http://www.informatik.uni-bremen.de/~goeller/AISS14/Algorithmics_on_Infinite-State_Systems.html">AISS 14</a>, <a href="http://www.risc.jku.at/conferences/scss2013/">SCSS 13</a>, <a href="http://frocos2013.loria.fr/">FroCoS 13</a>, <a href="http://cgi.csc.liv.ac.uk/~fct2013/">FCT 13</a>, <a href="http://grammars.grlmc.com/lata2013/">LATA 13</a>, <a href="http://rp12.labri.fr/">RP 12</a>, <a href="http://www.artist-embedded.org/artist/Overview,2414.html">QMC 12</a>, <a href="http://www.lsv.ens-cachan.fr/Events/LSV15Y/">LSV15Y</a>, <a href="http://www.bcs.org/category/14480">Needham Lecture 2010</a>, <a href="http://wiki.bordeaux.inria.fr/icalp10/index.php?n=Main.HomePage">ICALP 10</a>, <a href="http://dauns.math.tulane.edu/~mfps/MFPS26/MFPS_XXVI.html">MFPS XXVI</a>, <a href="http://www.avacs.org/spring2010/">AVACS 10</a>, <a href="http://vecos.ensta.fr/2009/">VECoS 09</a>, <a href="http://formats08.inria.fr/">FORMATS 08</a>, <a href="http://www.di.unipi.it/~qapl06/">QAPL 06</a><br> <img src="sq_blue.gif" alt="">   <b>Program Committees:</b> ICALP 24, <a href="https://latin2024.cmm.uchile.cl/">LATIN 24</a>, <a href="https://ictac2023.compsust.utec.edu.pe/">ICTAC 23</a>, <a href="https://bellairs2023.mpi-sws.org/">Bellairs 23 (organiser)</a>, <a href="https://www.etaps.org/2023/">FoSSaCS 23</a>, <a href="https://concur2022.mimuw.edu.pl/">CONCUR 22</a>, <a href="https://icalp2022.irif.fr/">ICALP 22</a>, <a href="https://www.usf.edu/arts-sciences/conferences/dlt2022/index.aspx">DLT 22</a>, <a href="https://hscc.acm.org/2021/">HSCC 21</a>, <a href="https://www.coalg.org/calco-mfps2021/mfps/">MFPS 21</a>, <a href="https://concur2020.forsyte.at/">CONCUR 20</a>, <a href="https://www.monoidal.net/paris2020/mfps/">MFPS 20</a>, <a href="https://gump2019.mpi-sws.org/">Gump Station 19</a> (organiser), <a href="https://www.coalg.org/calco-mfps-2019/mfps/">MFPS 19</a>, <a href="https://www.mathstat.dal.ca/mfps2018/">MFPS 18</a>, <a href="http://www.etaps.org/index.php/2018/fossacs">FoSSaCS 18</a>, <a href="https://lics.siglog.org/lics17/">LICS 17</a> (chair), <a href="http://coalg.org/mfps-calco2017/committees-mfps.html">MFPS 17</a>, <a href="http://www.cs.ox.ac.uk/bellairs2017/">Bellairs 17</a> (organiser), <a href="http://highlights-conference.org/">Highlights 16</a>, <a href="http://mfcs.ki.agh.edu.pl/">MFCS 16</a>, <a href="http://conferences.au.dk/mfps-2016/">MFPS 16</a>, <a href="http://www2.cs.uh.edu/~acheng/dcps.html">DCPS 16</a>, <a href="http://www.cs.ox.ac.uk/conferences/oxford_iss2015/index.html">Bellairs 15</a> (organiser), <a href="http://rp2015.mimuw.edu.pl/">RP 15</a>, <a href="http://rv2015.conf.tuwien.ac.at/">RV 15</a>, <a href="http://www.kurims.kyoto-u.ac.jp/icalp2015/">ICALP 15</a>, <a href="http://events.cs.bham.ac.uk/mfps31/">MFPS XXXI</a>, <a href="http://grammars.grlmc.com/lata2015/">LATA 15</a>, <a href="http://www.cs.ox.ac.uk/RP2014/">RP 14</a> (co-chair), <a href="http://www.easychair.org/smart-program/SCSS2014/">SCSS 14</a>, <a href="http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=14141">Dagstuhl Seminar 14141</a> (co-organiser), <a href="http://www.cs.cornell.edu/Conferences/MFPS30/">MFPS XXX</a>,  <a href="http://lii.rwth-aachen.de/lics/csl-lics14/">CSL-LICS 14</a>, <a href="http://www.cs.cornell.edu/Conferences/MFPS29/">MFPS XXIX</a>, <a href="http://www3.mathematik.tu-darmstadt.de/wollic">WoLLIC 13</a>, <a href="http://cav2013.forsyte.at/">CAV 13</a>, <a href="http://www.ccs.neu.edu/esop2013/">ESOP 13</a>, <a href="http://movep.lif.univ-mrs.fr/">MOVEP 12</a>, <a href="http://qfm2012.cs.aau.dk/">QFM 12</a>, <a href="http://cav12.cs.illinois.edu/">CAV 12</a>, <a href="http://vecos.ensta-paristech.fr/2011/index.html">VECoS 11</a>, <a href="http://dauns.math.tulane.edu/~mfps/MFPS27/MFPS_XXVII.html">MFPS XXVII</a> (chair), <a href="http://concur2011.rwth-aachen.de/">CONCUR 11</a>, <a href="http://rtrts10.ifi.uio.no">RTRTS 10</a>, <a href="http://mfcsl2010.fi.muni.cz/workshops/gpmfv">GPMFV 10</a>, <a href="http://vecos.ensta.fr/2010/">VECoS 10</a>, <a href="http://pub.ist.ac.at/formats2010/">FORMATS 10</a>, <a href="http://automata.rwth-aachen.de/movep2010/index.php?page=organization">MOVEP 10</a>, <a href="http://www.sti.uniurb.it/events/epew2010/">EPEW 10</a>, <a href="http://dauns.math.tulane.edu/~mfps/MFPS25/MFPS%2025.html">MFPS XXV</a>, <a href="http://games.cs.ox.ac.uk/formats09/">FORMATS 09</a> (co-chair), <a href="http://www.qest.org/qest2009/">QEST 09</a>, <a href="http://stacs2009.informatik.uni-freiburg.de/">STACS 09</a>, <a href="http://formats08.inria.fr/">FORMATS 08</a>, <a href="http://compilers.cs.ucla.edu/spin08/">SPIN 08</a>, <a href="http://www.qest.org/qest2008/">QEST 08</a>, <a href="http://www.ulb.ac.be/di/formats07/">FORMATS 07</a>, <a href="http://wwwtcs.inf.tu-dresden.de/~groesser/PAuL07/index_paul07.html">PAuL 07</a>, <a href="http://www2.unil.ch/csl07/">CSL 07</a>, <a href="http://www.cse.yorku.ca/qapl07/">QAPL 07</a>, <a href="http://hscc07.dii.unisi.it/Committees.html">HSCC 07</a>, <a href="http://www.doc.ic.ac.uk/express06/">EXPRESS 06</a>, <a href="http://www.lsv.ens-cachan.fr/formats06/">FORMATS 06</a>, <a href="http://www2.informatik.hu-berlin.de/lics/lics06/">LICS 06</a>,  <a href="http://chacs.nrl.navy.mil/projects/AVIS04/">AVIS 04</a><br> <img src="sq_blue.gif" alt="">   <b> Associate Editor:</b> <a href="https://dl.acm.org/journal/jacm">Journal of the ACM (JACM)</a> (2023-present), <a href="http://www.journals.elsevier.com/journal-of-computer-and-system-sciences/">Journal of Computer and System Sciences (JCSS)</a> (2014-2023)  </DIV> <hr> <FONT SIZE="+1"><b>Research Group: <i>Foundations of Algorithmic Verification</i></b></FONT> <DIV CLASS="indented"> <img src="sq_blue.gif" alt="">   <b>PhD Students:</b> Piotr Bacik, Joris Nieuwveld, Mihir Vahanwala <br> <img src="sq_blue.gif" alt="">   <b>Postdocs:</b> Quentin Guilmant, Gorav Jindal, Toghrul Karimov <br>  <img src="sq_blue.gif" alt="">   <a href="formermembers.html"><b>Former Members and Visitors</b></a> </DIV> <hr>  <br>  <a href="https://imprint.mpi-klsb.mpg.de/sws/people/joel">Imprint</a> / <a href="https://data-protection.mpi-klsb.mpg.de/sws/people/joel">Data Protection</a> </BODY>