Área Científica de Metodologia e Tecnologia de Programação

Descrição

A área científica de Metodologia e Tecnologia de Programação (MTP) do Departamento de Engenharia Informática é uma área científica que engloba a investigação e a leccionação em diferentes vertentes da Ciência e Engenharia Informática, incluindo temas como a Algoritmia, a Complexidade Computacional, a Engenharia de Software e as Linguagens de Programação. Tópicos concretos de investigação incluem Bioinformática e Biologia Computacional, Verificação e Validação de Software, Programação Paralela e Concorrente, Programação por Restrições, Software Social, Segurança e Processamento de Língua Natural, entre outros.

Coordenador científico: Prof. Ana Teresa de Freitas.

Representante da área: Prof. Alexandre Paulo Lourenço Francisco

Unidades Curriculares

As unidades curriculares da área científica de Metodologia e Tecnologia da Programação encontram-se listadas aqui.

Docentes

Alberto Abad , Alexandre Paulo Lourenço Francisco, Ana Gualdina Almeida Matos, Ana Teresa Correia de Freitas, António Manuel Ferreira Rito da Silva, António Paulo Teles de Menezes Correia Leitão, Arlindo Manuel Limede de Oliveira, David Manuel Martins de Matos, Francisco João Duarte Cordeiro Correia dos Santos, Jan Gunnar Cederquist, João Carlos Serrenho Dias Pereira, Jorge Baptista Martins, Luís Jorge Brás Monteiro Guerra e Silva, Luis Manuel Silveira Russo, Nuno João Neves Mamede, Pedro Manuel Guerra e Silva Reis dos Santos, Pedro Miguel dos Santos Alves Madeira AdãoVasco Miguel Gomes Nunes Manquinho.

Grupos de Investigação

KDBIO

SW Algorithms and Tools for Constraint Solving
 Spoken Language Systems Lab (L2F)
Grupo de Agentes Inteligentes e Personagens Sintéticas (GAIPS)
ALGOS
Security and Quantum Information Group (SQIG)