Maître de conférences en LaBRI (Universidad de Burdéos)
Estoy maître de conférence en la universidad de Burdéos, en el
grupo Méthodes Formelles del
LaBRI.
En general, estoy interesado en subclases de grafos infinidos, sus varios presentationes, problema del model-checking sobre ellos, y los lenguajes que reconecen. En particular, estudié los grafos generados por systemas de reescritura de arboles de pilas, los systemas con contadors y sus langages,(systemas de contadors planos y systemas de adición de vectores), la sémantica con origen de los transductores con registros, y extensiones de MSO sobre palabras infinidas.
Estoy Dirigiendo (en distencia)
Prince Matthew, doctorado en el IIT Goa (India) junto a
Sreejith A.V..
Con
Sreejith A.V. y
https://www.iiitb.ac.in/faculty_page.php?name=MeenakshiDSouza, tenemos un proyecto financiado por CEFIPRA,
Verification of Adaptive Control Systems.
Intéreses de investigación principales:
- Grafos infinidos
- Systemas de contadors
- Verificación
- Teoría de automates
- Teoría de lenguajes
- Systemas de orden superior
Producción de software:
- Cairn, una herramienta de visualización de ejecución del parser (para un curso de compilación).
Antes de eso…
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.
Dirrección :
LaBRI
Domaine Universitaire
351 cours de la Libération
33405 Talence
Despacho :
307
Teléfono :
(+33)6 31 30 63 80
Correo Electrónico :
vincent.penelle [AT] labri [DOT] fr