Lógica e Computação
Membros
A investigação no Departamento de Matemática na área de Lógica e Computação inclui tópicos como abdução, aplicações em segurança de informação, aritmética limitada, combinação de lógicas, combinação de teorias de primeira ordem, computabilidade e complexidade em computação analógica e digital, computação quântica, dedução etiquetada, física da computação, lógica algébrica, lógica cleística, lógica da evidência, lógica probabilística, lógica quântica, lógica temporal, teoria de conjuntos, teoria da demonstração, teoria de jogos algorítmica, traduções entre lógicas, raciocínio existencial.
Os membros desta área do departamento estão associados ou integrados no Grupo de Segurança e Informação Quântica (SQIG) do Laboratório Associado Instituto de Telecomunicações (IT) e no Grupo de Física da Informação e Tecnologias Quânticas (Phys-Info) do Laboratório Associado LaPMET/CeFEMA.
A área de Lógica e Computação mantém cooperação regular com áreas de tecnologias da informação de outros departamentos do Instituto Superior Técnico (IST), nomeadamente na oferta do Programa Doutoral em Segurança de Informação (no âmbito do Programa Carnegie Mellon Portugal).