Professores‎ > ‎

Elthon Allex da Silva Oliveira



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