Possui graduao em Engenharia Civil pela Universidade Federal do Amazonas(1986), graduao em Tecnologia Eletrnica pelo Instituto de Tecnologia da Amaznia(1984), mestrado em Automao Industrial pela Universidade Federal do Esprito Santo(1993), doutorado em Computer Science - Artificial Intelligence pela University of Edinburgh(1998) e ps-doutorado pela University of Edinburgh(2010). Atualmente professor titular da Universidade Federal do Amazonas e Membro de corpo editorial da Revista Brasileira de Informtica na Educao (1414-5685). Tem experincia na rea de Cincia da Computao, com nfase em Metodologia e Tcnicas da Computao. Atuando principalmente nos seguintes temas:program synthesis, logic programming, intelligent interfaces, knowledge-based systems.

---

• Formação:   Doutorado em Computer Science - Artificial Intelligence
• Local:   University of Edinburgh
• Ano:   1998
• Lattes:   http://lattes.cnpq.br/5919189481858271
• E-mail:   alberto@icomp.ufam.edu.br