Possui graduação em Engenharia Civil pela Universidade Federal do Amazonas (1986) , graduação em Tecnologia Eletrônica pelo Instituto de Tecnologia da Amazônia (1984) , mestrado em Automação Industrial pela Universidade Federal do Espírito Santo (1993) , doutorado em Computer Science – Artificial Intelligence pela University of Edinburgh (1998) e pós-doutorado pela University of Edinburgh (2010) . Atualmente é Professor Associado da Universidade Federal do Amazonas e Membro de corpo editorial da Revista Brasileira de Informática na Educação (1414-5685). Tem experiência na área de Ciência da Computação , com ênfase em Metodologia e Técnicas da Computação. Atuando principalmente nos seguintes temas: program synthesis, logic programming, intelligent interfaces, knowledge-based systems.
E-mail: alberto@icomp.ufam.edu.br
Currículo: http://lattes.cnpq.br/5919189481858271