En | Fr | Es

Antonio Casares Santos

Soy un investigador postdoctoral en informática teórica en la Universidad de Kaiserslautern (Alemania), en el equipo de Anthony Lin.

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 y teoría de modelos finitos.

Previamente, hice un postdoc en la Universidad de Varsovia con Mikołaj Bojańczyk, tras obtener mi doctorado por la Universidad de Burdeos en 2023, bajo la supervisión de Thomas Colcombet, Nathanaël Fijalkow e Igor Walukiewicz. Tengo un 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.

Enlaces:

He recopilado algunos enlaces con diferentes consejos sobre la vida académica aquí (en inglés).

Apoyo las siguientes iniciativas:

TCS4F No free view, no review

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:

Mi tesis ha sido galardonada con el premio "Ciencia y tecnología" de la Universidad de Burdeos! (enlace)

Investigación

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

Capítulos de libros

Surveys

Publicaciones en revistas y conferencias científicas

Preprints

  • A positional Π30-complete objective (with Pierre Ohlmann and Pierre Vandenhove), 2024 - pdf - bibtex.

    Charlas

    Algunas diapositivas y pósteres