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 vérification formelle et à la synthèse de systèmes réactives. 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 .

Séminaires

Je suis co-organisateur du Sémi-doc (séminaire pour les doctorant.e.s). N'hésitez pas à me contacter pour tout renseignement ou si vous voulez proposer un exposé !

Theoretical Computer Scientists for Future

Recherche

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

Conférences

Preprints

  • Characterising Memory in Infinite Games (with Pierre Ohlmann), 2022 - 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)