João Pavão Martins

João Pavão Martins obteve o doutoramento em Inteligência Artificial pela "State University of New York at Buffalo" em 1983 e a agregação em Engenharia Informática pela Universidade Técnica de Lisboa em 1991. É Professor Catedrático no Instituto Superior Técnico. Foi um dos proponentes da Licenciatura em Engenharia Informática e de Computadores (LEIC) do IST, tendo sido o seu coordenador durante cinco anos. Tem lecionado cadeiras de introdução à programação desde 1980, preocupando-se com o ensino de programação disciplinada. É autor de dois livros de introdução à programação, um deles publicado nos Estados Unidos. É investigador no Grupo de Inteligência Artificial do IST, inserido no IDMEC, desenvolvendo a sua investigação nas áreas de Representação do Conhecimento e Revisão de Crenças. Foi compilador de dois livros e autor de múltiplos artigos científicos.