Mr. Daniel Stan
Post:TU Kaiserslautern
Postfach 3049
67653 Kaiserslautern
Hausadresse:Geb. 34, Raum 428
67663 Kaiserslautern
Email: stan [at]
Phone: (0631) 205-3357


  • I moved to EPITA Paris
  • Co-organizer of RP2022, please submit!


I am now (since October 2022) an "Enseignant Chercheur" (Associate Professor) in the private French grande école EPITA, Paris. More precisely, I joined the Automata and Applications group of the newly founded EPITA Research Lab (LRE).

Between October 2019 and September 2022, I was a PostDoc in the Automated Reasoning group. I was previously a PhD student (2013-2017) at LSV, ENS Paris Saclay under the supervision of Patricia Bouyer and Nicolas Markey, then a PostDoc in the Dependable Systems and Software chair of Saarbrücken.

My research interests include formal methods and model checking techniques with a particular focus on:

  • Regular Model Checking and Automatic Structures
  • Parameterized Systems
  • Stochastic Systems and Games

In particular, my current work put an emphasis on exact learning algorithms with applications to model checking. A complete list of my publications can be found here.

Some Artifacts


  • Game-Theoretic Techniques in Logic and Verification, main lecturer (stochastic games part) WS21
  • Logic and Verification seminar: WS19, SS20, partial supervision in WS20;
  • Quantitative Model Checking at Saarland University, main lecturer and teacher SS19;
  • Verification at Saarland University, co-lecturer with Holger Hermanns WS18
  • Advanced Concurrency Seminar at Saarland University, co-organized with Holger Hermanns WS17
  • Basics of Verification at ENS Paris-Sacly, teaching assistant from 2013 to 2016
  • Algorithmique 2 at ENS Paris-Sacly, teaching assistant from 2013 to 2016.


I have been administrative president (2011-12) then head of the technical team (2014-15) of the Crans organization, a volunteer internet provider on Cachan campus. Some (technical, non-scientific) talks I gave can be found here.

Nowadays, I am self-hosting my mail and cloud services under the domain name

I like inline-skating, (e-)biking and tinkering electronics. I use the bépo keyboard layout.