Diego Figueira
I'm a CNRS researcher at the Formal Methods team of LaBRI in Bordeaux, France.
Address
LaBRI, Université de Bordeaux,
351 cours de la Libération,
Bâtiment A30

33405 Talence cedex, France
E-Mail
dfigueir (guess) labri (guess) fr
Secr.
+33 (0)5 40 00 69 00

Before, I was a Research Associate at LFCS, Edinburgh University. Even before, I was a post-doc at the Automata Theory group of Warsaw University.

I obtained my PhD at LSV, ENS Cachan (now ENS Paris-Saclay), France, supervised by Luc Segoufin and Stéphane Demri on formalisms for words and trees over infinite alphabets. I defended my thesis in 2010.

I received my Master's Degree in CS from University of Buenos Aires, Argentina, in 2007.

Upcoming Events Recent publications
Publications HAL
titre
Resynchronizing Classes of Word Relations
auteur
María Emilia Descotte, Diego Figueira, Gabriele Puppis
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01721046/file/main-hal.pdf BibTex
titre
Playing with Repetitions in Data Words Using Energy Games
auteur
Diego Figueira, M. Praveen
Accès au bibtex
https://arxiv.org/pdf/1802.07435 BibTex
titre
Satisfiability of XPath on data trees
auteur
Diego Figueira
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01670363/file/survey.pdf BibTex
titre
Bisimulations on Data Graphs
auteur
Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01679889/file/version-homepage.pdf BibTex
All publications »
Projects ANR BRAVAS ANR DELTA LIA INFINIS
Links Seminar Méthodes Formelles My brother
CNRS LaBRI Université de Bordeaux