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 Computação (14343) Programação Funcional (14348) Linguagens de Programação e Compiladores (14460) Segurança e Fiabilidade de Software (14466) Teoria da Prova e da Programação (14495) Programação Certificada (14498) Programação Funcional (14786) Contactos desousaðubi÷pt 275241400 1610