Thiago Alves Rocha

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.