Daniel Stan

Daniel Stan is an Associate Professor at EPITA Strasbourg, specializing in formal methods and distributed algorithms. He actively works on stochastic systems verification, multi-agent systems, and parameterized model checking techniques.

• Affiliation: EPITA Strasbourg (since 2023)
• Laboratory: Associated member of ICube lab, Network Team

Research Focus:

• Formal verification techniques for complex systems
• Algorithmic learning applications in model checking
• Distributed algorithms in stochastic environments

Publication Trends: Recent works focus on applying SAT-solving techniques to computation tree logic and analyzing concurrent stochastic lossy channel systems. His research combines theoretical foundations with practical implementations in verification.

Laboratory Affiliation: Actively contributes to the ICube laboratory's Network Team, working on distributed algorithms and system verification.