![[Laurent.jpg]](ldoyen2018.jpg) |
Laurent Doyen
PhD, U.L.B. (Brussels, Belgium), 2006.
Habil. HDR, ENS Cachan, 2012.
CNRS Researcher
Working at LMF, ENS Paris-Saclay
|
![[lmf.png]](images/lmf-logo-black.png) |
![[cnrs.jpg]](images/cnrs.jpg) |
|
|
|
Quick links: Publications - Talks - Teaching - GPG public key
|
 |
|
Upcoming events:
LICS 2022, Haifa
CSR 2022, online
|
|
Recent past events:
LICS 2021, Rome
CSR 2021, Sochi
STACS 2020, Montpellier
LICS 2019, Vancouver
RP 2017, London
Journées communes du GT Vérif et du GT ALGA, May 2017, Créteil
GandALF 2016, Catania
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
- Organizer: STSV 2012, GAMES 2011, PaVAS 2011
- PC member: CSR 2021,
LATA 20&21,
GandALF 2016,
GandALF 2015,
RP 2014,
CSL-LICS 2014, STACS 2014, FSTTCS 2013, QFM 2012, ICE 2011, Formats 2010, ICE 2010
- Invited speaker: RP 2017, WATA 2014, INFINITY 2013, ACTS 2010, PSY 2009
- Summer school lecture: EJCIM 2010, MOVEP 2008
Projects (past and present)
- Rutherford Visiting Fellow (U. Warwick) - Fast algorithms for synthesis of safe, smart and adaptive controllers
- 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, 2015, 2016)
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
ENS Paris-Saclay
Laboratoire Méthodes Formelles
4, avenue des sciences
F-91192 Gif-sur-Yvette
France
Office location: Bât. Nord, 2nd floor, 2S59
(How to reach ENS Paris-Saclay)
Phone: +33 (0)1 81 87 54 43
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)
24h Le Mans 2019 (674km)
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]](images/ens.png) |
![[Zoncolan.jpg]](https://lh5.googleusercontent.com/-En8FDjXK7-0/TnDZSI48tzI/AAAAAAAAC1k/3eqQE1v0EYc/s720/DSC00618.JPG) |
![[cnrs.jpg]](images/cnrs.jpg) |
|
Last update: Tue Jan 26 11:18:53 CET 2021.
|
|