Alexandre Matos Arruda

Bachelor's degree in Computer Science from the Federal University of Ceará (2004), Master's degree in Computer Science from the Federal University of Ceará (2007) and Ph.D. in Computer Science from the University of São Paulo (2014). Main interests are classical logic and program semantics (infinitary systems, proof theory, least fixed-point, proof normalization), probabilistic logic, classical and non-classical methods of abduction.

Possui graduação em Computação pela Universidade Federal do Ceará (2004), mestrado em Ciências da Computação pela Universidade Federal do Ceará (2007) e doutorado em Ciências da Computação pela Universidade de São Paulo (2014). Atualmente é professor do magistério superior da Universidade Federal do Ceará. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: inteligência artificial, processamento de linguagem natural, aprendizado de máquina, desenvolvimento de sistemas e teoria da prova.