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, 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
  • Sensitivity of Counting Queries. [pdf] In ICALP'16. Joint with M. Arapinis and M. Gaboardi.
  • 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