معرفی
Vincent Penelle is an Associate Professor at the University of Bordeaux since September 1, 2017, affiliated with the LaBRI (Laboratoire Bordelais de Recherche en Informatique) within the Faculty of Science. He serves as the coordinator for the "Algorithme et Modèles" and "Vérification logicielle" tracks of the Master's program in Computer Science at the University of Bordeaux.
His research focuses on theoretical computer science, particularly infinite graphs (including specific subclasses), various representations of these graphs, model verification problems, and languages they recognize. His work has specifically addressed tree stack rewriting systems, counter systems and their trace languages (including flat counter systems and vector addition systems), origin semantics of register transducers, and extensions of MSO logic on infinite words.
Penelle co-supervises Prince Matthew, a PhD student at IIT Goa (India) in collaboration with Sreejith A.V. He is also a principal investigator for the CEFIPRA-funded project "Verification of Adaptive Control Systems" alongside Sreejith A.V. and Meenakshi D'Souza. His research group is part of the Formal Methods team at LaBRI.
He has developed Cairn, a visualization tool for parser execution used in compilation courses, demonstrating his commitment to both research and teaching. Prior to his current position, he was a postdoctoral researcher at the University of Warsaw's Institute of Informatics (2016-2017), and completed his PhD at the Gaspard Monge Computer Science Laboratory under the supervision of Didier Caucal and Antoine Meyer.
