Elthon Allex da Silva Oliveira

Bachelor's at Ciência da Computação from Universidade Federal de Alagoas (2004), master's at Computer Science from Universidade Federal de Campina Grande (2006) and doctorate at Computer Science from Universidade Federal de Campina Grande (2015). Has experience in Computer Science, focusing on Formal Languages and Automata, acting on the following subjects: formal methods, free software and health informatics.

Possui graduação em Ciência da Computação pela Universidade Federal de Alagoas (2004), mestrado em Informática e doutorado em Ciência da Computação pela Universidade Federal de Campina Grande (2006 e 2015). É professor efetivo da Universidade Federal de Alagoas desde agosto de 2006. Tem experiência na área de Ciência da Computação, com ênfase em Métodos Formais, atuando principalmente nos seguintes temas: Verificação de Software, Testes Formais e Informática na Saúde.