Ocan Sankur

Research

I am a researcher at CNRS within Université de Rennes, in this team.
I am currently on leave, working at Mitsubishi Electric Research Center Europe. I can be reached at

Research Interests

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

My current projects include the following

Automatic assume-guarantee reasoning for model checking (see CircAG and the preprint)
Black-box testing for reactive systems using reinforcement learning (see RL-Tester and preprint)
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