Diego Figueira is a CNRS full-time researcher in the Formal Methods team of LaBRI in Bordeaux, France. Before that, he was a postdoc at LFCS laboratory from the University of Edinburgh with Leonid Libkin, and at the Automata Theory group of the University of Warsaw with Mikolaj Bojanczyk. He did his PhD at LSV, ENS Cachan, supervised by Luc Segoufin and Stephane Demri on formalisms for words and trees over infinite alphabets. He defended his thesis in 2010. He received his Master's Degree in CS from the University of Buenos Aires, Argentina, in 2007.