| 2021-2024 |
3-year PhD: Automatic Program Verification by
Inference of Relational Models , with Thomas
GENET and Thomas JENSEN in the Epicure team |
IRISA, Rennes, France |
| 2021 |
Six-month internship in the Celtique team, supervised by Thomas GENET and Thomas Jensen:
Verifying functional programs with regular relations |
Irisa, Rennes, France |
| 2020 |
Two-month internship in the Knowledge Processing and Information Systems team, supervised
by Torsten SCHAUB and François LAFERRIERE: The use of automata for integrity-constraints
checking in temporal Answer Set Programming' |
Potsdam, Germany |
| 2019 |
Two-month internship in the research team LOGICA, supervised by Tristan CHARRIER:
The use of Dynamic Epistemic Logic for searching bounded strategy in games with imperfect
information |
Irisa, Rennes |
| 2018 |
Two-month internship in the research team LACODAM, supervised by Élisa FROMONT: Study and
use of YOLO technology for real-time video tracking} |
Irisa, Rennes |
