
Estoy maître de conférence en la universidad de Burdéos, en el grupo Méthodes Formelles del LaBRI.De Septiembre 2016 hasta Julio 2017, hice un post-doctorado (adiunkt naukowy) en el instituto de informática de la universidad de Varsovia (MIMUW), donde tomé parte en el proyecto «A unified theory of finite-state recognisability» dirigido por Mikołaj Bojanczyk. En el marco de este proyecto, trabajé con Bruno Guillon, Laure Daviaud y Sreejith Ajithkumar Vijayalekshmi. Trabajemos sobre la caracterización de los grafos describiendo la semántica con origen de los streaming transducers (y sus extensiones), y sobre la decidabilidad de lógicas soble palabras (es decir, determinar las predicados que podemos añadir a MSO/FO, manteniendo la decidabilidad de la lógica).
De Septiembre 2015 hasta Junio 2016, hice un demi-ATER en el Laboratoire d’Informatique Gaspard Monge (Champs-sur-Marne) hasta enero, y después, visito a Matthew Hague en el departamento de informatíca de la Royal Holloway university of London donde trabajemos sobre una extensión de las técnicas de verificación para systemas de orden superior a systemas con un comportamiento arbóreo.
Hice mi tesis de doctorado en el Laboratoire d’Informatique Gaspard Monge (Champs-sur-Marne) con Didier Caucal y Antoine Meyer.