Loïg Jezequel

loig.jezequel@inria.fr

publications - relectures - enseignements - stages et visites - exposés - études

Actuellement (depuis décembre 2013)

• Au Laboratoire Spécification et Vérification (LSV) dans l'équipe MEXICO (Modelling and Exploitation of Interaction and Concurrency).

Précédemment

• De septembre 2012 à décembre 2013 j'ai travaillé à l'université de Münich (TUM) dans l'équipe Foundations of Software Reliability and Theoretical Computer Science.
• Avant cela j'étais en thèse à l'Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) dans l'équipe DistribCom (Distributed and Iterative Algorithms for Telecommunications) sous la direction de Eric Fabre. J'ai soutenu ma thèse le 13 novembre 2012.

Centres d'intérêt

• Planification, Model checking, Algorithmes et systèmes distribués, Concurrence, Réseaux de Petri, Automates (à poids/probabilistes), Théorie des jeux, Grands graphes

Publications

Actes de conférences :

1. Loïg Jezequel et Javier Esparza, Message Passing Algorithms for the Verification of Distributed Protocols, 15th International Conference on Verification, Model Checking, and Abstract Interpretation, 2014 [article|exposé]
2. Javier Esparza, Loïg Jezequel et Stefan Schwoon, Computation of summaries using net unfoldings, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013 [article|exposé]
3. Loïg Jezequel, Eric Fabre et Victor Khomenko, Factored Planning: From Automata to Petri Nets, 13th International Conference on Application of Concurrency to System Design, 2013 [article|exposé]
4. Loïg Jezequel et Eric Fabre, A#: a distributed version of A* for factored planning, 51st IEEE Conference on Decision and Control, 2012 [article]
5. Loïg Jezequel et Eric Fabre, Turbo planning, 11th International Workshop on Discrete Event Systems, 2012 [article|exposé]
6. Loïg Jezequel et Eric Fabre, Networks of automata with read arcs: a tool for distributed planning, 18th IFAC World Congress, 2011 [article|exposé]
7. Eric Fabre et Loïg Jezequel, On the construction of probabilistic diagnosers, 10th International Workshop on Discrete Event Systems, 2010 [article]
8. Eric Fabre, Loïg Jezequel, Patrik Haslum et Sylvie Thiébaux, Cost-Optimal Factored Planning: Promises and Pitfalls, 20th International Conference on Automated Planning and Scheduling, 2010 [article|exposé]
9. Eric Fabre et Loïg Jezequel, Distributed optimal planning: an approach by weighted automata calculus, 48th IEEE Conference on Decision and Control, 2009 [article]

Workshops :

1. Loïg Jezequel et Eric Fabre, Distributed Optimal Planning, Workshop on Algorithmic Game Theory: Dynamics and Convergence in Distributed Systems, 2011 [exposé]
2. Dietmar Berwanger et Loïg Jezequel, Summarising Game Segments, Annual Workshop of the ESF Networking Programme on Games for Design and Verification, 2009 [résumé|exposé]

Autres :

1. Javier Esparza, Loïg Jezequel et Stefan Schwoon, Computation of summaries using net unfoldings, arXiv, 2013 [arXiv:1310.2143]
2. Loïg Jezequel, Distributed Cost-Optimal Planning, thèse de doctorat, 2012 [manuscrit|exposé]
3. Loïg Jezequel et Eric Fabre, A-sharp: a distributed version of A-star for factored planning, rapport de recherche INRIA RR-7927, 2012 [manuscrit]
4. Loïg Jezequel, Distributed optimal planning in large distributed systems, rapport de stage de M2 (encadrant : Eric Fabre), 2009 [manuscrit|exposé]
5. Loïg Jezequel, Distributed reachability test in large distributed systems, rapport bibliographique, 2009 [manuscrit|exposé]
6. Loïg Jezequel, Finitary decision structures in infinite games, rapport de stage de M1 (encadrant : Dietmar Berwanger), 2008 [manuscrit|exposé]
7. Loïg Jezequel, Distance exacte dans les graphes alpha-doublants, rapport de stage de L3 (encadrant : Cyril Gavoille), 2007 [manuscrit|exposé]

Relectures d'articles

Journaux:

IEEE Transactions on Automatic Control

Conférences:

ACSD 2013, LICS 2013, CAV 2013, ECC 2013, LATA 2013, SafeProcess 2012, CDC 2010

Enseignements

• 2013-2014 :
  • Séminaire Algorithms for the Undecided à l'Université technique de Munich (encadrement de 2 étudiants)
• 2011-2012 :
  • TPs et TDs pour la préparation à l'agrégation de Mathématiques option Informatique à l'ENS Cachan Bretagne (24h de TP/TD, 2h de cours)
  • TDs LF (Langages Formels) en 1ère année à l'ENS Cachan Bretagne (12h)
  • TDs MFVA (Modélisation et Vérification Formelle par Automates) en Master1 à l'ISTIC (12h)
  • TDs VTES (Vérification et Test de Systèmes Embarqués) en 3ème année à l'ESIR (10h)
  • TDs AGR (Algorithmique des GRaphes) en Licence3 à l'ISTIC (20h)
  • Initiation Unix à l'ENS Cachan Bretagne (6h de cours/TP)
• 2010-2011 :
  • TPs et TDs pour la préparation à l'agrégation de Mathématiques option Informatique à l'ENS Cachan Bretagne (22h de TP/TD, 2h de cours)
  • TDs de PROG1 (OCaml, Scheme, Lisp, C, C++) en 1ère année à l'ENS Cachan Bretagne (26h)
  • Cours de réseau en Master1 à l'ISTIC (8h)
  • Initiation à LaTeX en 1ère année à l'ENS Cachan Bretagne (5h de cours/TP)
• 2009-2010 :
  • TPs et TDs pour la préparation à l'agrégation de Mathématiques option Informatique à l'ENS Cachan Bretagne (22h de TP/TD, 2h de cours)
  • TPs de Scheme en 1ère année à l'INSA de Rennes (15h)

Stages et visites

23 au 27 avril 2012 :

• Visite à l'université de Münich (Allemagne), travail avec Javier Esparza et Stefan Schwoon

19 au 30 mars 2012 :

• Visite à l'université de Newcastle (Royaume Uni), travail avec Victor Khomenko

19 au 21 janvier 2011 :

• Visite au LSV(Cachan, France), travail avec Dietmar Berwanger

26 octobre au 7 novembre 2009 :

• Visite au NICTA (Canberra, Australie), travail avec Patrik Haslum et Sylvie Thiébaux

février-juin 2009 :

• Stage à l'IRISA (Rennes, France) sous la direction de Eric Fabre
  Sujet : Test d'atteignabilité distribué dans de grands systèmes distribués

mai-juillet 2008 :

• Stage à l'université RWTH Aachen (Aachen, Allemagne) sous la direction de Dietmar Berwanger
  Sujet : Structures de décision finies dans des jeux infinis

mai-juin 2007 :

• Stage au LaBRI (Bordeaux, France) sous la direction de Cyril Gavoille
  Sujet : Distance et routage exactes dans les graphes alpha-doublants

exposés

• 03/04/2014 : Computation of summaries using net unfoldings, Séminaire 68NQRT, IRISA, Rennes, France
• 25/03/2014 : Computation of summaries using net unfoldings, LIP6, Paris, France
• 24/03/2014 : Message-Passing Algorithms for the Verification of Distributed Protocols, LIAFA, Paris, France
• 20/03/2014 : Computation of summaries in networks of automata, UBO, Brest, France
• 18/03/2014 : Computation of summaries in networks of automata, LIFL, Lille, France
• 05/03/2014 : Computation of summaries using net unfoldings, LSV, Cachan, France
• 04/03/2014 : Message-Passing Algorithms for the Verification of Distributed Protocols, LRI, Orsay, France
• 20/01/2014 : Message-Passing Algorithms for the Verification of Distributed Protocols, VMCAI, San Diego, États-unis
• 12/12/2013 : Computation of summaries using net unfoldings, FSTTCS, Guwahati, Inde
• 19/11/2013 : Computation of summaries using net unfoldings, Séminaire annuel de l'équipe CONVECS, Col de Porte, France
• 09/07/2013 : Factored Planning: From Automata to Petri Nets, ACSD, Barcelone, Espagne
• 28/03/2013 : Cost-Optimal Factored Planning Using Weighted Automata Calculus, LaBRI, Bordeaux, France
• 07/03/2013 : Distributed Cost-Optimal Planning, LINA, Nantes, France
• 04/03/2013 : Distributed Cost-Optimal Planning, INRIA Grenoble, Montbonnot, France
• 13/11/2012 : Distributed Cost-Optimal Planning, soutenance de thèse, IRISA, Rennes, France
• 04/10/2012 : Turbo Planning, WODES, Guadalajara, Mexique
• 28/06/2012 : Turbo Planning, séminaire 68NQRT, IRISA, Rennes, France
• 25/04/2012 : Modular Cost-Optimal Planning Using Weighted Automata Calculus, TUM, Münich, Allemagne
• 20/03/2012 : Modular Optimal Planning Using Weighted Automata Calculus, Newcastle University, Newcastle, Royaume-Uni
• 21/11/2011 : Toward a Distributed A*-algorithm, réunion du projet européen DISC, Institute for Mathematics, Brno, République Tchèque
• 31/09/2011 : Networks of Automata With Read Arcs: A Tool for Distributed Planning, congrès mondial IFAC, Milan, Italie
• 20/06/2011 : Distributed Optimal Planning: An Approach by Weighted Automata Calculus, workshop AlgoGT, Grenoble, France
• 16/03/2011 : Modular Aspects of Probabilistic Diagnosers, réunion du projet européen DISC, CWI, Amsterdam, Pays-Bas
• 15/05/2010 : Cost-Optimal Factored Planning: Promises and Pitfalls, ICAPS, Toronto, Canada
• 15/03/2010 : Automata With Context: Adding Read Arcs in Networks of Automata, réunion de l'équipe DISTRIBCOM, ENS Cachan Bretagne, Rennes, France
• 08/03/2010 : Automata With Context: Adding Read Arcs in Networks of Automata, réunion du projet européen DISC, IRISA, Rennes, France
• 22/01/2010 : Planification optimale distribuée, ENS Cachan Bretagne, Rennes, France
• 15/01/2010 : An Inplementation of a Factored Optimal Planner, réunion de l'équipe DISTRIBCOM, ENS Cachan Bretagne, Rennes, France
• 12/11/2009 : Distributed Optimal Planning: An Approach by Weighted Automata Calculus, séminaire 68NQRT, IRISA, Rennes, France
• 17/09/2009 : Summarising Game Segments, GAMES, Udine, Italie

études

2009-2012 :

• Thèse à l'IRISA, sous la direction de Eric Fabre
• Sujet : Planification optimale distribuée
• Soutenue le 13 novembre 2012 devant un jury composé de :
  • Sophie Pinchinat (université Rennes 1, présidente)
  • Malik Ghallab (LAAS, rapporteur)
  • Marc Zeitoun (université Bordeaux 1, rapporteur)
  • Javier Esparza (technische universität München, examinateur)
  • Serge Haddad (ENS Cachan, examinateur)
  • Patrik Haslum (Australian national university, examinateur)
  • Eric Fabre (INRIA Rennes, directeur de thèse)

2008-2009 :

• Master 2 recherche à l'université de Rennes 1 (mention Très Bien, rang : 3/57)
• 3ème année de magistère informatique et télécommunications à l'antenne de Bretagne de l'ENS Cachan

2007-2008 :

• Master 1 à l'université de Rennes 1 (mention Bien)
• 2ème année de magistère informatique et télécommunications à l'antenne de Bretagne de l'ENS Cachan
• Reçu au concours d'entrée en 3ème année à l'ENS de Cachan

2006-2007 :

• Licence 3 à l'université de Rennes 1 (mention Bien)
• 1ère année de magistère informatique et télécommunications à l'antenne de Bretagne de l'ENS Cachan

2005-2006 :

• Classe préparatoire MP* au Lycée Kérichen à Brest
• Admissible aux ENS de Lyon et Cachan

2004-2005 :

• Classe préparatoire MPSI au Lycée Kérichen à Brest

2003-2004 :

• Baccalauréat scientifique (spécialité mathématiques) obtenu (mention Bien)