Wladimir Araujo Tavares

Possui Bacharelado em Ciência da Computação pela Universidade Federal do Ceará (2005), Mestrado em Ciências da Computação pela Universidade Federal do Ceará (2008), Doutorado em Ciências da Computação pela Universidade Federal do Ceará (2016) em co-tutela com a Université D'Avignon . Além disso, é professor/pesquisador na Universidade Federal do Ceará no Campus de Quixadá. Participou de alguns projetos de pesquisa nacionais e internacionais como integrante. Tem experiência na área de Ciência da Computação, com ênfase em Análise de Algoritmos, atuando principalmente nos seguintes temas: programação linear e inteira, algoritmos, otimização combinatória.

graduate at Ciência da Computação from Universidade Federal do Ceará (2006) and master's at Computer Science from Universidade Federal do Ceará (2008). Has experience in Computer Science, focusing on Computer Science, acting on the following subjects: lógica não-monotônia, raciocínio, lógica clássica and lógica default.