Cleyton Mário de Oliveira Rodrigues

Cleyton Rodrigues possui graduação em Engenharia da Computação pela Universidade de Pernambuco (2006), título de Mestre em Inteligência Artificial pela Universidade Federal de Pernambuco, UFPE (2009), com Mestrado Sanduíche no Institute Nationale de Recherche en Informatique et Automatique (INRIA/Paris), e título de Doutor em Ciência da Computação pela UFPE (2019). Tem experiência na área de Inteligência Artificial, com ênfase em Programação Lógica, Representação de Conhecimento, Agentes e Ontologias. Profissionalmente, exerceu a atividade de Desenvolvedor de Sistemas na PROCENGE Ltda e consultor de Pesquisa e Desenvolvimento (P&D) na Improvess Ltda. Academicamente, atuou regularmente como Professor/Coordenador do Curso de Bacharelado em Sistemas de Informação da FACOL, e no programa de Pós-Graduação Lato Sensu, na cidade da Vitória de Santo Antão-PE, Professor Executor do Curso de EAD de Licenciatura da Computação na Universidade Federal Rural de Pernambuco (UFRPE) e Professor da Faculdade Joaquim Nabuco/Unidade Paulista. Também, já atuou como Professor Substituto do Instituto Federal de Pernambuco (IFPE), no curso de Análise e Desenvolvimento de Sistemas. Atualmente está vinculado como Professor Adjunto na Universidade de Pernambuco (UPE) Campus Garanhuns, no Curso de Licenciatura em Computação e Engenharia de Software. Também é professor Permanente do PPGEC, o programa de Pós-Graduação em Engenharia da Computação da UPE/POLI. Também, faz parte dos Grupos de Pesquisa Inteligência Computacional (CIRG@UPE) e Moinho Jurídico (UFPE). Membro da Rede Nordeste de Inteligência Artificial (IANE).

graduate at Engenharia da Computação from Universidade de Pernambuco (2006). Has experience in Computer Science, acting on the following subjects: linguagem de descrição de hardware, software/hardware co-design, modelagem, métodos formais and circuitos digitais.