Ocan Sankur  (pronounciation: "Odjan Sankour")

I am a researcher at CNRS within Université de Rennes, in the IRISA research center, in this team.

Blog on formal verification techniques

Research Interests

Formal verification, model checking, planning and controller synthesis, game theory, real-time systems
Timed automata, Markov decision processes, non-zero sum games

Some recent projects include the following

• Automatic assume-guarantee reasoning for model checking (see CircAG and FMSD2025)
• Black-box testing for reactive systems using reinforcement learning (see RL-Tester and FMCAD26)
• Symbolic verification techniques for timed automata (see CAV19, TACAS23)
• Formal verification of distributed algorithms (see TACAS17, TACAS23)

PhD Students

• Victorien Desbois (From Fall 2023)
• Thibaut Le Marre (From Fall 2023)
• Nicolas Waldburger (From Oct 2021) jointly supervised with N. Bertrand and N. Markey
• Abdul Majith (defended in 2022) jointly supervised with H. Marchand and Thai Dinh-Bui (Nokia - Bell Labs).
• Suman Sadhukhan (defended in 2021) jointly supervised with N. Bertrand and N. Markey
• Arthur Queffelec (defended in 2021) jointly supervised with F. Schwarzentruber
• Victor Roussanaly (defended in 2020) jointly supervised with N. Markey

Publications

CV

Github profile.

Projects

ANR Ticktac (2019-2023)

Other

Türkçe Akademik Bilim Terimleri Sözlüğü