Ritam RAHA - Admis au titre de docteur

Adresse Professionnelle
Campus Middelheim Middelheimlaan 1 M.G.317 2020
Antwerp BELGIQUE
ritam.raha@uantwerpen.be
ritam.raha@u-bordeaux.fr
Identifiant ORCID 0000000314671182

Doctorat Informatique

Thèse soutenue le 12 septembre 2023 - Université de Bordeaux

Ecole doctorale : Mathématiques et Informatique

Sujet : Apprentissage et vérification de systèmes complexes avec des spécifications temporelles

Mots-clés de la thèse : Apprentissage des spécifications temporelles,IA explicable,Vérification formelle,Automates à un compteur,

Direction de thèse : Nathanaël FIJALKOW

Co-direction de thèse : Jérôme LEROUX

Co-direction de thèse : Guillermo Alberto PEREZ MEJIA

Cotutelle University of Antwerp BELGIQUE
Descriptif : The plan of stays was to spend the whole academic year of 2020 and the last semester of 2021 in LaBRI and other part of my PhD in UAntwerp. But, the current corona situation has affected this planning which will be adapted as things improve.

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

Master - Science

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

Production scientifique

- Loïc Hélouët, Nicolas Markey, Ritam Raha 2022. Reachability games with relaxed energy constraints Information and Computation, 285B, https://hal.inria.fr/hal-03482420/document
- Guillermo A. Perez; Ritam Raha 2022. Revisiting Parameter Synthesis for One-Counter Automata 30th EACSL Annual Conference on Computer Science Logic (CSL 2022), Volume: 216, Pages: 33:1-33:18, https://drops.dagstuhl.de/opus/volltexte/2022/15753/
- Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider 2022. Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic , 13243, pp.263-280,
- Loïc Hélouët, Nicolas Markey, Ritam Raha 2019. Reachability Games with Relaxed Energy Constraints , 305, pp.17-33,

Langues Vivantes : Anglais C2 - Maternel - Bengali C2 - Maternel

Dernière mise à jour le 7 juillet 2023