Rafael Teixeira de Araújo

Possui graduação em Filosofia pela Faculdade Católica Rainha do Sertão (2010), graduação em Sistemas de Informação pela Faculdade Católica Rainha do Sertão (2011) e mestrado em Ciências da Computação pela Universidade Federal do Ceará (2014). Atualmente é professor do Centro Universitario Estácio do Ceará. Tem experiência na área de Ciência da Computação, com ênfase em Lógicas e Semântica de Programas, atuando principalmente nos seguintes temas: convexidade, grafos, caminhos induzidos, caminhos mínimos e grafos p4-esparsos.

graduation at Filosofia from Faculdade Católica Rainha do Sertão (2010), graduation at Sistemas de Informação from Faculdade Católica Rainha do Sertão (2011) and master's at Computer Science from Universidade Federal do Ceará (2014). Has experience in Computer Science, focusing on Logics and Program Semantics, acting on the following subjects: convexidade, grafos, caminhos induzidos, caminhos mínimos and grafos p4-esparsos.