En | Fr | Es

Antonio Casares Santos

Soy un estudiante de doctorado en informática teórica en el LaBRI (Universidad de Burdeos, Francia), bajo la supervisión de Thomas Colcombet, Nathanaël Fijalkow e Igor Walukiewicz.

Mi investigación se centra en temas relacionados con la verificación formal y la síntesis de sistemas reactivos. Más en concreto, estudio algoritmos para la resolución de juegos combinatorios y la teoría de ω-autómatas.

Previamente, obtuve el grado en matemáticas por la Universidad de Valladolid (España) y cursé el máster Lógica matemática y fundamentos de la informática en la Universidad de París (Francia).

Puedes consultar mi CV para más información.

Seminarios

Soy coorganizador del Sémi-doc (seminario para estudiantes de doctorado). ¡No dudes en escribirme si tienes alguna duda o quieres dar una charla!

Theoretical Computer Scientists for Future

Investigación

La lista de mis publicaciones también se puede encontrar en mi página de dblp.

Conferencias

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.

    Charlas

    Algunas diapositivas y pósteres

    Docencia

    2022 - 2023 (ENSEIRB-MATMECA - Bordeaux INP)

    2021 - 2022 (Université de Bordeaux)

    2020 - 2021 (Université de Bordeaux)

    Contacto

    E-mail

    antonio [punto] casares-santos [arroba] labri [punto] fr

    Dirección

    Despacho 257, LaBRI
    351, Cours de la Libération, edificio A30
    F-33405 Talence Cedex (France)