---

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

• Linguagens formais e autômatos
• Computabilidade e modelos de computação
• Engenharia de software

---

Disciplinas

• Lógica, Informática e Comunicação
• Lógica Aplicada à Computação
• Matemática Discreta
• Teoria da Computação
• Laboratório de Programação 3

Contato

Email: elthon (arroba) arapiraca (ponto) ufal (ponto) br

Página: arapiraca.ufal.br/professor/elthonoliveira