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 (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 All publications »
CNRS LaBRI Université de Bordeaux