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

33405 Talence cedex, France
dfigueir (guess) labri (guess) fr
+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, 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
  • Semantically Acyclic Conjunctive Queries under Functional Dependencies. [pdf] In LICS'16.
  • Bisimulations on Data Graphs. [pdf] In KR'16. Joint with S. Abriola, P. Barceló, and S. Figueira.
  • All publications »
Links Seminar Méthodes Formelles INFINIS My brother
CNRS LaBRI Université de Bordeaux