Mateus de Oliveira Oliveira

Phd in Theoretical Computer Science from the Royal Institute of Technology (KTH), 2013, Stockholm, Sweden, Master in Formal Methods from the Institute of Research in Informatics and Aleatory Systems (IRISA), 2007, Rennes, France, and Undergrad in Computer Science from the Federal University of Bahia (UFBA), 2005, Salvador, Bahia. Fields of expertise: combinatorial Slice Theory, Graph Theory, Algorithms, Logic and Quantum Computing

Possui doutorado em Teoria da Computação pelo Instituto Real de Tecnologia (KTH), 2013, Estocolmo, Suécia, Mestrado em Métodos Formais pelo Instituto de Pesquisa em Informática e Sistemas Aleatórios (IRISA), 2007, Rennes, França e Bacharelado em Ciência da Computação pela Universidade Federal da Bahia, 2005, Salvador Bahia. Áreas de atuação principais: Combinatorial Slice Theory, Teoria dos Grafos, Algoritmos, Lógica Computacional e Computação Quântica.