Departamento de Informática (UM)

Página institucional

1719

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosGabinete

1719

José Carlos Bacelar Ferreira Junqueira Almeida

Prof. Auxiliar

Lógica e Métodos Formais

E-mail
Ext.: +604458

E7-2.15

Qualificações: 1991 - Licenciatura em Engenharia Electrotécnica e de Computadores (Univ. do Porto); 1994 - Mestrado em Informática (Univ. Minho); 2004 - Doutoramento em Informática (U. Minho)

Página pessoal: https://www.inesctec.pt/en/people/jose-bacelar-almeida#intro

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

  • J. B. Almeida, M. J. ao Frade, J. S. Pinto, and S. ao Melo de Sousa. Rigorous Software Development: an introduction to program verification. Springer-Verlag London Ltd, 2011.
  • J. B. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, S. Z. Béguelin: Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols. ACM Conference on Communications and Computer Security – CCS 2012.
  • J. B. Almeida, M. Barbosa, J. S. Pinto, and B. Vieira. Formal Verification of Side Channel Counter-measures Using Self-Composition. Science of Computer Programming. Elsevier 2012.
  • J. B. Almeida, E. Bangerter, M. Barbosa, S. Krenn, A. Sadeghi, T. Schneider A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Σ-Protocols. In Proceedings of Computer Security - ESORICS 2010, volume 6345 of Lecture Notes in Computer Science, pages 151–167. Springer, 2010.
  • J. B. Almeida, P. S. Almeida, C. Baquero. Bounded Version Vectors. In Proceedings of 18th International Symposium on Distributed Computing – DISC’04. volume 3274 of Lecture Notes in Computer Science, pages 102–116. Springer, 2004.

Projetos

  • PassCert (Investigação do Impacto de Verificação Formal na Adopção de Software para Segurança de Passwords: FCT, CMU/TIC/0006/2019)

Docência

Regências:

Aulas:

  • Algoritmos e Complexidade [J303N6]: turnos TP 4 e TP 5
  • Segurança de Sistemas Informáticos [J306N3]: turnos PL 1 e T 1
  • Criptografia e Segurança em Redes [J605N4]: turnos T 1 e TP 1
  • Programação Imperativa [J904N3]: turnos TP 2
  • Criptografia, Identificação Eletrónica e Documentos [MD08MD0800006189]: turnos T 1
  • Engenharia de Segurança [ME78ME7800006096]: turnos T 1 e TP 1
  • Criptografia e Segurança da Informação [ME80ME8002005181]: turnos T 1

Serviço

  • Professor em cursos do 1º ciclo (LESI, LEI, LMCC, LCC) desde 1992
  • Professor em cursos de 2º ciclo (MI, MEI, MMC, MSDPA, MIBIO)
  • Professor no curso do 3º ciclo (MAP/i) desde 2007
  • Membro da comissão directiva do Mestrado em Matemática e Computação (2007-2012)
  • Membro da comissão directiva do MI e MEI (desde 2012)

[ Quadro de todo o pessoal do DIUM ]