Sougata BOSE - Admis au titre de docteur

sougata@cmi.ac.in

Doctorat Informatique

Thèse soutenue le 12 mars 2021 - Université de Bordeaux

Ecole doctorale : Mathématiques et Informatique

Sujet : Sur les problèmes de décision concernant les transducteurs de mots avec la sémantique d'origine

Mots-clés de la thèse : Transducteurs de mots,La sémantique d'origine,Resynchroniseurs,Équivalence,Inclusion,Synthèse,

Direction de thèse : Anca MUSCHOLL

Co-direction de thèse : Gabriele PUPPIS

Unité de recherche : LaBRI - Laboratoire Bordelais de Recherche en Informatique UMR 5800 - Talence
Intitulé de l'équipe : Méthodes et Modèles formels

Master - Master of Science

obtenu en juillet 2017 - Chennai Mathematical Institute
Option : Computer Science

Dernière mise à jour le 20 avril 2021