Mini currículo Bacharel em Ciência da Computação pela Universidade Federal de Alagoas (2004), mestre em Informática (2006) e doutor em Ciência da Computação (2015) pela Universidade Federal de Campina Grande. Professor efetivo da UFAL desde agosto de 2006. Tem experiência na área de Ciência da Computação, com ênfase em Modelos Computacionais, Verificação de Software, Métodos e Testes Formais. Ver currículo completo Áreas de atuação
Disciplinas
Email: elthon (arroba) arapiraca (ponto) ufal (ponto) br Página: arapiraca.ufal.br/professor/elthonoliveira |
Professores >