Projecto em Matemática / Dissertação de Mestrado

Secção de Lógica e Computação.

Cursos:
LMAC (Licenciatura em Matemática e Computação). Ano: 3.
MMA (Mestrado em Matemática e Aplicações). Ano: 2.

Professor Coordenador: Carlos Caleiro.

Propostas de Trabalho

• A realizar na Secção de Lógica e Computação
  • Lógica quântica - Amílcar Sernadas.
  • Processos concorrentes móveis - António Ravara.
  • Lógica multivalorada, Protocolos de segurança - Carlos Caleiro.
  • Combinação de lógicas - Cristina Sernadas.
  • Equações Diofantinas, Teorias de computabilidade e complexidade sobre funções de variável real - José Félix Costa.
  • Cálculo de situações - Jaime Ramos.
  • Teoria da prova, Complexidade quântica - João Rasga.
  • Raciocínio abdutivo - Paula Gouveia.
  • Criptografia clássica e quântica - Paulo Mateus.
• A realizar fora da Secção de Lógica e Computação
  (trabalhos a realizar com orientação fora do Departamento de Matemática carecem de autorização do Professor Coordenador, mediante proposta de um Professor do Departamento de Matemática que aceite ser o Professor Responsável)
  • Grupo de Segurança e Informação Quântica-IT:
    • Computação analógica - Manuel Campagnolo
    • Computação e informação quântica - Yasser Omar
  • Grupo ALGOS-INESC
    • Biocomputação - Arlindo Oliveira.
  • Grupo GSI-ISR
    • Sistemas robóticos inteligentes - Pedro U. Lima.
  • Grupo SAT-INESC
    • Algoritmos SAT - Inês Lynce.
  • Grupo ESW-INESC
    • Desenvolvimento orientado a objectos - António Rito Silva.
  • Grupo GSI-INESC
    • Sistemas de informação - Alberto Silva.
  • Grupo GEO-INESC
    • Sistemas organizacionais - José Manuel Tribolet.

Para mais informações contactar o Professor Coordenador: ccal@math.ist.utl.pt.

Selecção de trabalhos de anos anteriores
realizados na Secção de Lógica e Computação:

• Tiago Reis. Quantitative analysis of security protocols. 2004-05.
• Ricardo Gonçalves. Algebraization of logics and beyond. 2003-04.
• Luís Russo. Algebra in a topos. 2002-03.
• Pedro Miguel Adão. Electronic money with My-calculus. 2001-02.
• Ricardo Silva. On the computational power of sigmoidal neural networks. 2001-02.
• Cátia Vaz. Independence structures on quantales. 2001-02.
• Alexandre Paulo Francisco. Finite automata over continuous time. 2001-02.
• Luís Cruz-Filipe. Lambda-calculus and beyond. 2000-01.
• Pedro Baptista. Os pontos da topologia sem pontos. 2000-01.
• Nuno Paiva. Lógica temporal em Coq. 1997-98.
• Sara Pacheco. Cálculo de situações em Coq. 1997-98.
• Alexandra Carvalho. Teoria das categorias em Coq. 1997-98.
• Paulo Mateus. Caracterização categorial da composição e interconexão de máquinas de Moore. 1996-97.
• Maria João Coutinho e Maria do Carmo Martins. Álgebra de processos. 1994-95.
• Sérgio Ministro. Sistemas de reescrita. 1994-95.
• Ana Sofia Guerra. Lógica de omissão. 1993-94.
• Laura Mota. Raciocínio abdutivo. 1993-94.
• Pedro Carmo e Pedro Penedo. Compilador de Gnome. 1993-94.
• Susana Cruz e Violante Badalo. Cáculo de verificação OMT. 1993-94.
• João Gomes e Maria João Apolinário. Demonstrador automático ObCalc. 1992-93.
• Carlos Caleiro. Semântica operacional da OSL. 1992-93.
• João Araújo. Conversor Word-LaTeX. 1991-92.
• Jaime Ramos. Especificações clausais. 1991-92.
• Antónia Lopes. Sistema dedutivo matricial. 1990-91.

Última actualização: 8 de Agosto de 2008.