Simão Patricio Melo de Sousa Professor/a Associado/a com Agregação Sector — Cargos/Funções Departamento de Informática — Docente do Departamento de Informática Unidades Curriculares Teoria da Prova e da Programação (11508) Programação Certificada (11511) Tópicos Avançados de Paradigmas de Programação (11517) Lógica Computacional (11555) Teoria da Computação (11562) Processamento de Linguagens (11567) Contactos desousaðubi÷pt 275241400 1610