Dr. Daniel Stan

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

Research

Since October 2019, I am 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 publication can be found here.

Teaching

• 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.

Misc

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 tudo.re.

---