[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.ens-cachan.fr
Quick links: Publications - Talks - Teaching
Alpenbrevet 2011
Recent past event: Seminar on Theory of Software Verification
Cachan, 13. March, 2012
Internship proposals 2011 (sujets de stage M1-M2):
1. Robot Games
2. A Theory of Quantitative Languages
3. Développement prouvé d'un algorithme de vérification
4. Autres sujets sur demande / Other topics on request


If you are a student interested in doing an internship, a PhD thesis, or a post-doc, please do not hesitate to contact me.
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)
  • 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

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.ens-cachan.fr
CV
Personal

Cycling
L'étape du Tour - Photos...
Tour of Austria
Alpenbrevet
Polygiro
Running
Marathon Paris
20km Lausanne
20km Bruxelles
Marathon Lausanne

Record
Marathon: 3h 5m 18s (Paris, 2012)
20km: 1h 19m 41s (Lausanne, 2009)
10km: 38m 14s (Cachan, 2010)
History
[ens.png] [Zoncolan.jpg] [cnrs.jpg]
Last update: Sun Sep 18 15:18:53 CET 2011.