Lógica e Computação

A investigação no Departamento de Matemática na área de Lógica e Computação inclui tópicos como aritmética limitada, teoria de conjuntos, lógica algébrica, lógica temporal, lógica cleística, lógica probabilística, lógica quântica, computabilidade e complexidade em computação analógica e digital, física da computação, computação quântica, e aplicações em segurança de informação.

Os membros desta área do departamento estão associados ou integrados no Grupo de Segurança e Informação Quântica (SQIG) e no Grupo de Física da Informação e Tecnologias Quânticas (Phys-Info) do Laboratório Associado Instituto de Telecomunicações (IT), no  Centro de Matemática e Aplicações Fundamentais e Investigação Operacional (CMAF-CIO) e no Centro de Filosofia da Ciência da Universidade de Lisboa (CFCUL).

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) e do Programa Doutoral FCT em Física e Matemática da Informação.

Seminários

Eventos Futuros e Recentes

Projetos

  • GeTFun (Generalizing Truth-Functionality - EU FP7, Marie Curie).