Á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. José Carlos Monteiro.

Representante da área: Prof. Pedro Adão

Unidades Curriculares

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

Docentes

Alberto AbadAlexandre 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 PereiraJoão Fernando Peixoto FerreiraJosé Carlos Alves Pereira MonteiroLuís Jorge Brás Monteiro Guerra e Silva, Luis Manuel Silveira Russo, Mikolas Janota, Nuno João Neves Mamede, Pedro Manuel Guerra e Silva Reis dos Santos, Pedro Miguel dos Santos Alves Madeira AdãoPedro Tiago Gonçalves MonteiroRui Filipe Lima Maranhão de AbreuSusana de Almeida Mendes Vinga MartinsVasco 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)