Docente · IFCE
Thiago Alves Rocha
Servidor(a) da Rede Federal de Educação Profissional, Científica e Tecnológica.
Currículo e competências no Portal Integra da instituição.
Localização e contato
Campus Maracanaú • Avenida Vice-Presidente José Alencar, S/N, Jereissati I • CE
Resumo profissional
Possui Graduação em Computação pela Universidade Federal do Ceará (2011), Mestrado em Ciência da Computação pela Universidade Federal do Ceará (2014) e Doutorado em Ciência da Computação pela Universidade Federal do Ceará (2019). Atualmente é professor do Instituto Federal de Educação, Ciência e Tecnologia do Ceará (IFCE) no Campus Maracanaú. Tem experiência na área de Lógica em Ciência da Computação, com ênfase em Representação do Conhecimento, Raciocínio Automatizado, Teoria dos Modelos Finitos e Síntese de Fórmulas Lógicas.