Paulo de Tarso Guerra Oliveira

Bachelor's at Computer Science from State University of Ceara (2008), master's at Computer Science from University of Sao Paulo (2010) and PhD at Computer Science from University of Sao Paulo (2016). Has experience in Computer Science, acting on the following subjects: logic, belief revision and model checking.

Possui graduação em Ciência da Computação pela Universidade Estadual do Ceará (2008), mestrado em Ciências da Computação pela Universidade de São Paulo (2010) e doutorado em Ciência da Computação pela Universidade de São Paulo (2016). Atualmente é professor adjunto da Universidade Federal do Ceará, Campus Quixadá. Tem experiência na área de Ciência da Computação, com ênfase em Lógica e Inteligência Artificial, atuando principalmente nos seguintes temas: lógica de árvore computacional, revisão de crenças e verificação de modelos.