[Laurent.jpg]
[lsv.gif]

Laurent Doyen
PhD, U.L.B. (Brussels, Belgium), 2006.
Habil. HDR, ENS Cachan, 2012.

CNRS Researcher

LSV - ENS Cachan Office location: Bât. D'Alembert, 4th floor
61, av. du Président Wilson(How to reach ENS Cachan)
F-94235 Cachan CedexPhone: +33 (0)1 47 40 22 74
FranceFax: +33 (0)1 47 40 75 21
CVEmail:lastname@lsv.fr

Quick links: Publications - Talks - Teaching - GPG public key
Alpenbrevet 2011

Upcoming events:
GandALF 2016, Catania
Recent past events:
GandALF 2015, Genoa
French Symposium on Games 2015, Paris
CSL-LICS 2014, Vienna (Vienna Summer of Logic)
Reachability Problems 2014, Oxford
WATA 2014, Leipzig
STACS 2014, Lyon
FSTTCS 2013, Guwahati
GT Jeux, September 2012
Seminar on Theory of Software Verification, March 2012
GAMES, September 2011
PAVAS, Pushdown Automata and Vector Addition Systems, January 2011

Research

I did my PhD under the supervision of Jean-François Raskin at Université Libre de Bruxelles, 2006.
I have been postdoctoral researcher in the group of Tom Henzinger at École Polytechnique Fédérale de Lausanne (EPFL). My research interests include:

  • Game and automata theory,
  • (Discrete) quantitative and probabilistic systems,
  • Timed and hybrid systems,
with a focus on algorithms and tools for the design and verification of reliable software, hardware, and embedded systems.


If you are a student interested in doing an internship, PhD thesis, or a post-doc, please contact me.

Papers - Talks

Publications   [by year] [by topic] [by conference] [by journal]
Publications   [ BibTex List]
Publications   [DBLP entries]
Talks - Slides of some recent talks

Highlights

Students

Tools - Prototypes Events

Projects (past and present)
  • Cassting - Collective Adaptative Systems Synthesis With Non-zero-sum Games
  • QuaVerif (PI) - Quantitative Verification for Reactive Systems
  • ARiSE: Austrian Rigorous Systems Engineering
  • Quasimodo: Quantitative System Properties in Model-Driven-Design of Embedded Systems
  • Gasics: Games for Analysis and Synthesis of Interactive Computational Systems
  • COMBEST: COMponent-Based Embedded Systems design Techniques
  • Artist2 NOE: Network of Excellence on Embedded Systems Design
Communities

Teaching

Introduction to research (MPRI, 2014)
Verification of dynamic and parameterized systems (MPRI, 2011)

Logique informatique (TA, ULB, 2009)
Theoretical Computer Science III (TA, EPFL, 2006-2007)
Real-Time and Hybrid Systems: Analysis and Control (TA, ULB, 2002-2006)


Contact Information

Laurent Doyen
LSV - ENS Cachan
61, avenue du Pr´sident Wilson
F-94235 Cachan Cedex
France

Office location: Bâtiment D'Alembert, 4th floor (How to reach ENS Cachan)
Phone: +33 (0)1 47 40 22 74
Fax: +33 (0)1 47 40 75 21
Email: lastname@lsv.fr
CV

Personal

Cycling
L'étape du Tour - Photos...
Tour of Austria
Alpenbrevet
Polygiro
Liege-Bastogne-Liege 2014 (279km, start: 6:28am, finish: 6:17pm)
Running
Marathon Paris
20km Lausanne
20km Bruxelles
Marathon Lausanne

Record
Marathon: 2h 58m 39s (Paris, 2015)
20km: 1h 19m 41s (Lausanne, 2009)
10km: 38m 14s (
Cachan, 2010)
History

Belgium
La Belgique expliquée aux Français (mp3 - Alex Vizorek, France Inter, Ve 11 oct 2013, 8:55)
La Belgique pour les nuls (pdf - Le Soir, Ve 16 avr 2010)


[ens.png] [Zoncolan.jpg] [cnrs.jpg]

Last update: Fri Sep 11 11:18:53 CET 2015.