Pedro Quaresma de Almeida

Bem Vindo a minha página inicial, ainda e sempre em construção - 14 Setembro 2009.

Investigação:

• CISUC, Centro de Informática e Sistemas da Universidade de Coimbra.
• Áreas de interesse
  • Lógica, Dedução Automática.
  • Programação Funcional.
  • Especificação Algébrica, Programação Algébrica.
  • Criptografia.
• Lista de Publicações.
• Lista de Referências (local/mundial)
• Anúncios de Conferências (mundial).
• Membro da Sociedade Portuguesa de Matemática, e da Association for Automated Reasoning

Docência/Acções de Formação/Exposições:

• Mestrado em Matemática, Área de Especialização em Computação.
• Ano Lectivo 2009/2010
  • Códigos e Criptografia, 2009/2010.
  • Bases de Dados, 2009/2010.
  • Programação Avançada, 2009/2010.
  • Programação Orientada para Objectos, 2009/2010.
• Ano Lectivo 2008/2009
  • Códigos e Criptografia, 2008/2009; Bases de Dados, 2008/2009; Programação Avançada, 2008/2009
  • Programação Funcional, 2008/2009.
• Compiladores, 2004/2005.
• Especificação e Verificação, 2004/2005.
• Estágios Pedagógicos 2003/2004, Núcleo de Estágio de Miranda do Corvo 2004/2005.
• Núcleo de Estágio de Miranda do Corvo 2003/2004.
• Métodos de Programação I, 2003/2004.
• Fundamentos e Organização de Computadores, 2003/2004.
• Métodos de Programação, II 2003/2004.
• Algoritmos e Estruturas de Dados II, 2002/2003.
• Programação Orientada para os Objectos, 2002/2003.
• Introdução aos Computadores e Programação, 2001/2002.
• Métodos de Programação, 1998/1999.
• Mostras Matemáticas (Junho 2000).
• Advanced School and Workshop on Soft Computing and Complex Systems, Faculty of Science and Technology of the University of Coimbra, 23-27 June 2003.
• CSL 09, 18th EACSL Annual Conference on Computer Science Logic, 7-11 September 2009, Coimbra, Portugal, co-chair, local organization.
• PPDP 2009, 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, 7-9 September 2009, Coimbra, Portugal, local organization.
• LOPSTR 2009, 19th International Symposium on Logic-Based Program Synthesis and Transformation, Coimbra, 9-11 September 2009, Coimbra, Portugal, local organization.
• FICS 2009, 6th Workshop on Fixed Points in Computer Science, FICS 2009 Coimbra, Portugal, 12-13 September 2009, a satellite workshop to CSL 2009, local organization.
• Gentzen Centenary, Gentzen Centenary The Quest of Consistency, 12 September 2009, Coimbra, Portugal, satellite workshop to CSL 2009, local organization.
• Linearity First International Workshop on Linearity, 12 September 2009, Coimbra, Portugal, satellite workshop to CSL 2009, local organization.

Projectos:

• Projecto EukleidesPT, construções em Geometria Euclidiana.
• Projecto GeoThms, a "Geometry Framework" & GCLC, construções em Geometria Euclidiana.
• Concepção e Manutenção da Página da Gazeta de Matemática.
• Concepção e Manutenção da Página das Olímpiadas de Matemática do Ensino Básico.

LaTeX:

• LaTeX. Página dedicada ao processador de texto LaTeX.
• Curso de LaTeX, Fevereiro de 2009.
• DCpic, um conjunto de comandos para a escrita de grafos (e "diagramas comutativos") num texto (La)TeX ou ConTeXt.
• GUTpt, Grupo (Informal) de Utilizadores de TeX - Portugal.

Linux

• Debian Linux on a Toshiba Protégé M300

Lazer:

• Aeromodelismo.