Formação (em Ciência da Computação)

Bacharel (UFAL / 2004), Mestre (UFCG / 2006) e Doutor (UFCG / 2015).

Atuação Profissional

Docente da UFAL desde agosto de 2006.

Coordenador:

• [e fundador] do grupo Coletivo EIDI desde outubro de 2016;
• do Laboratório Multidisciplinar de Computação (do NCEx) desde julho de 2016;
• do curso de Ciência da Computação de maio de 2015 até julho de 2017;
• do curso de Ciência da Computação de setembro de 2008 até fevereiro de 2010; e
• da Unidade Educacional Palmeira dos Índios (UFAL - Campus Arapiraca) de janeiro de 2007 até janeiro de 2008.

Representante institucional da SBC no mesmo Campus de março de 2008 até maio de 2010.

Áreas de Interesse

• Síntese de programas
• Verificação formal de sistemas (modelos clássicos e probabilísticos)
• Lógica e Teoria da Computação
• Teoria do Controle Supervisório