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éminaire de l'équipe Méthodes et Modèles Formelles, ainsi que 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é pour le séminaire !

Theoretical Computer Scientists for Future

Recherche

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

Preprints

Preprints

  • On the ESL algorithm for energy games (with Pierre Ohlmann) - pdf - bibtex.

    Exposés

    Prochains exposés

    Quelques exposés et slides

    Enseignement

    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)