En | Fr | Es

Antonio Casares Santos

I am a PhD student in Theoretical Computer Science at LaBRI (Université de Bordeaux, France) under the supervision of Thomas Colcombet, Nathanaël Fijalkow and Igor Walukiewicz.

My research interests are related to the formal verification and synthesis of reactive systems. In particular, I am currently studying algorithms for solving infinite duration games as well as automata over infinite words.

Before that, I studied mathematics at Universidad de Valladolid (Spain), and obtained my M. Sc. in Mathematical Logic and Foundations of Computer Science at Université de Paris (France).

You will find more information in my CV.

Seminars

I co-organize the seminar of the Formal Methods and Models team, as well as the Sémi-doc (PhD students seminar). Do not hesitate to contact me for any question or if you want to give a talk at the seminar!

Theoretical Computer Scientists for Future

Research

A full list of my publications can also be found in my dblp page.

Conferences

Preprints

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

    Talks

    Upcoming events

    Some past events and slides

    Teaching

    Contact

    E-mail

    antonio [dot] casares-santos [at] labri [dot] fr

    Location

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