En | Fr | Es

Antonio Casares Santos

Je suis doctorant au LaBRI (Université de Bordeaux, France) sous la direction de Thomas Colcombet, Nathanaël Fijalkow et Igor Walukiewicz.

Mes intérêts de recherche sont liés à la logique et aux langages formels. Plus précisément, je m’intéresse aux jeux sur les graphes et à la théorie des automates sur des mots infinis.

Précédemment, j'ai obtenu la licence de Mathématiques par l'Université de Valladolid (Espagne) et le master Logique Mathèmatique et Fondements de l'Informatique par l'Université de Paris (France).

Plus de détails se trouvent sur mon CV .

Theoretical Computer Scientists for Future

Recherche

La liste de mes publications se trouve aussi sur mon site dblp et Google Scholar.

Conférences

Preprints

  • From Muller to Parity and Rabin Automata: Optimal Transformations Preserving (History-)Determinism (with Thomas Colcombet, Nathanaël Fijalkow and Karoliina Lehtinen), 2023 - pdf - bibtex.
  • On the ESL Algorithm for Energy Games (with Pierre Ohlmann), 2021 - pdf - bibtex.

    Exposés

    Quelques slides et ressources

    Enseignement

    2022 - 2023 (ENSEIRB-MATMECA - Bordeaux INP)

    2021 - 2022 (Université de Bordeaux)

    2020 - 2021 (Université de Bordeaux)

    Contact

    E-mail

    antonio [dot] casares-santos [at] labri [dot] fr

    Adresse

    Bureau 257, LaBRI
    351, Cours de la Libération, Bâtiment A30
    F-33405 Talence Cedex (France)