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 lógica y la teoría de lenguajes formales. Más en concreto, estudio propiedades de lenguajes definidos por ω-autómatas, así como algoritmos para la resolución de juegos de duración infinita sobre grafos.

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.

Theoretical Computer Scientists for Future

Tesis doctoral

He defendido mi tesis titulada Structural properties of automata over infinite words and memory for games el 23 de Noviembre de 2023. En los siguientes enlaces se encuentran:

Investigación

La lista de mis publicaciones también se puede encontrar en mis páginas de dblp y Google Scholar.

Conferencias

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.

    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)