José Carlos Bacelar Ferreira Junqueira de Almeida. É Professor Auxiliar na Universidade do Minho. Publicou 6 artigos em revistas especializadas e 6 trabalhos em actas de eventos, possui 4 capítulos de livros e 1 livro publicados. Recebeu 1 prémio e/ou homenagem. Actua na área de Engenharia Electrotécnica, Electrónica e Informática Nas suas actividades profissionais interagiu com 23 colaboradores em co-autorias de trabalhos científicos.
Endereço de acesso a este CV: http://www.degois.pt/visualizador/curriculum.jsp?key=3371669706243591

Nome completo Full name	José Carlos Bacelar Ferreira Junqueira de Almeida
Nome em citações bibliográficas Quoting name	Almeida, José Bacelar
Categoria profissional Position	Professor Auxiliar
Domínio científico de atuação Scientific domain	Engenharia e Tecnologia-Engenharia Electrotécnica, Electrónica e Informática.

Endereço profissional Professional address

Universidade do Minho Escola de Engenharia Departamento de Informática Campus de Gualtar Gualtar 4710-057 Braga Portugal Telefone: (+351)253604430 Fax: (+351)253604471 Correio electrónico: jba@di.uminho.pt Homepage: http://haslab.uminho.pt/jba

Sexo Gender

Masculino»Male

2003	Doutoramento Phd
Ciências da Computação. Universidade do Minho, Portugal.

1994	Mestrado Master degree
Mestrado em Informática (2 anos » years) . Universidade do Minho, Portugal.

1991	Licenciatura Licentiate degree
Engenharia Eletrotécnica e de Computadores (5 anos » years) . Universidade do Porto, Portugal.

Universidade do Minho

Jun/2008-Actual

Professor Auxiliar

Universidade do Minho

Jun/2003-Jun/2008

Professor Auxiliar

Universidade do Minho

Fev/1994-Jun/2003

Assistente

Universidade do Minho

Dez/1992-Fev/1994

Assistente Estagiário

Fundação para a Ciência e a Tecnologia

Out/1991-Nov/1992

Outra Situação

Participação como Investigador Participation as Researcher

2010-2013 SMART - Secure Memories and Applications Related Technologies-SMART - Secure Memories and Applications Related Technologies

Referência do projeto»Project reference: ENIAC/2224/2009.

2008-2011 RESCUE - REliable and Safe Code execUtion for Embedded systems-RESCUE - REliable and Safe Code execUtion for Embedded systems

Referência do projeto»Project reference: PTDC/EIA/65862/2006.

2008-2010 CACE - Computer Aided Cryptography Engineering-CACE - Computer Aided Cryptography Engineering

Referência do projeto»Project reference: FP7-ICT-STREP-216499. FP7 ICT STREP

2003-2007 PURe - Program Understanding and Re-engineering: Calculi and Applications-PURe - Program Understanding and Re-engineering: Calculi and Applications

Referência do projeto»Project reference: POSI/ICHS/44304/2002.

Compreende Understandig	Português (Bem), Inglês (Bem), Francês (Razoavelmente), Espanhol (Razoavelmente).
Fala Speaking	Português (Bem), Inglês (Bem), Francês (Pouco), Espanhol (Razoavelmente).
Lê Reading	Português (Bem), Inglês (Bem), Francês (Razoavelmente), Espanhol (Razoavelmente).
Escreve Writing	Português (Bem), Inglês (Bem), Francês (Pouco), Espanhol (Pouco).

2009	Best Software Science paper presented at the FMICS'09, The European Association of Software Science and Technology (EASST).

Livros publicados/organizados ou edições Published/organized books or Editions

1.	Bacelar Almeida, J; Frade, Maria J; Pinto, Jorge S; Sousa, Simão M. 2011. Rigorous Software Development. ed. 1, ISBN: 978-0-85729-017-5. London: Springer.

Capítulos de livros publicados Published book chapters

1.	Almeida, José B; Moreira, Nelma; Pereira, David; Sousa, Simão M. 2011. Partial Derivative Automata Formalized in Coq.  In Implementation and Application of Automata, ed. Michael DomaratzkiKai Salomaa, 59 - 68. ISBN: 978-3-642-18097-2. Berlin, Heidelberg: Springer Berlin Heidelberg.

2.	Almeida, José B; Bangerter, Endre; Barbosa, Manuel; Krenn, Stephan; Sadeghi, Ahmad-Reza; Schneider, Thomas. 2010. A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on S-Protocols.  In Computer Security – ESORICS 2010, ed. Dimitris GritzalisBart PreneelMarianthi Theoharidou, 151 - 167. ISBN: 978-3-642-15496-6. Berlin, Heidelberg: Springer Berlin Heidelberg.

3.	Almeida, José B; Barbosa, Manuel; Pinto, Jorge S; Vieira, Bárbara. 2009. Verifying Cryptographic Software Correctness with Respect to Reference Implementations.  In Formal Methods for Industrial Critical Systems, ed. María AlpuenteByron CookChristophe Joubert, 37 - 52. ISBN: 978-3-642-04569-1. Berlin, Heidelberg: Springer Berlin Heidelberg.

4.	Almeida, José B; Almeida, Paulo S; Baquero, Carlos. 2004. Bounded Version Vectors.  In Distributed Computing, ed. Rachid Guerraoui, 102 - 116. ISBN: 978-3-540-23306-0. Berlin, Heidelberg: Springer Berlin Heidelberg.

Artigos em revistas com arbitragem científica Papers in periodics with scientific refereeing

1.	Almeida, José B; Barbosa, Manuel; Pinto, Jorge S; Vieira, Bárbara. 2013. "Formal verification of side-channel countermeasures using self-composition", Science of Computer Programming 78, 7: 796 - 812.

2.	Almeida, José B; Barbosa, Manuel; Filliâtre, J.-C.; Pinto, Jorge S; Vieira, Bárbara. 2012. "CAOVerif: An open-source deductive verification platform for cryptographic software implementations", Science of Computer Programming, in press: - - -.

3.	Almeida, José B; Barbosa, Manuel; Pinto, Jorge S; Vieira, Bárbara. 2010. "Deductive verification of cryptographic software", Innovations in Systems and Software Engineering 6, 3: 203 - 218.

4.	Almeida, José B; Pinto, Jorge S; Vilaça, Miguel. 2008. "A Tool for Programming with Interaction Nets", Electronic Notes in Theoretical Computer Science 219, C: 83 - 96.

5.	Almeida, José B; Pinto, Jorge S; Vilaça, Miguel. 2008. "Token-passing Nets for Functional Languages", Electronic Notes in Theoretical Computer Science 204, C: 181 - 198.

6.	Almeida, José B; Pinto, Jorge S; Vilaça, Miguel. 2007. "A Local Graph-rewriting System for Deciding Equality in Sum-product Theories", Electronic Notes in Theoretical Computer Science 176, 1: 139 - 163.

Trabalhos completos/resumidos em eventos com arbitragem científica Papers in conference proceedings with scientific refereeing

1.	Almeida, José B; Barbosa, Manuel; Barthe, Gilles; Dupressoir, François. 2013. "Certified computer-aided cryptography", Trabalho apresentado em ACM SIGSAC conference Computer & Communications Security, In Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13, Berlin, Germany.

2.	Almeida, José B; Barbosa, Manuel; Barthe, Gilles; Davy, Guillaume; Dupressoir, François; Grégoire, Benjamin; Strub, Pierre-Yves. 2013. "Towards an EasyCrypt Formalization of Garbling Schemes", Trabalho apresentado em Workshop on Language Support for Privacy Enhancing Technologies - PETshop 2013, In Proceedings of the Workshop on Language Support for Privacy Enhancing Technologies - PETshop 2013, Berlim.

3.	Almeida, José B; Barbosa, Manuel; Bangerter, Endre; Barthe, Gilles; Krenn, Stephan; Zanella Béguelin, S. 2012. "Full proof cryptography", Trabalho apresentado em ACM conference on Computer and Communications Security, In Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12, Raleigh, North Carolina, USA.

4.	Almeida, José B; Barbosa, Manuel; Pinto, Jorge S; Vieira, Bárbara. 2009. "Deductive verification of cryptographic software", Trabalho apresentado em First NASA Formal Methods Symposium, In Proceedings of the First NASA Formal Methods Symposium, NASA Ames Research Center.

Trabalhos completos/resumidos em eventos sem arbitragem científica Papers in conference proceedings without scientific refereeing

1.	Almeida, José B; Mackie, Ian; Pinto, Jorge S; Vilaça, Miguel. 2007. "Encoding iterators in interaction nets", Trabalho apresentado em International Symposium on the Implementation and Application of Functional Languages, In 19th International Symposium on the Implementation and Application of Functional Languages (IFL 2007), Freiburg.

2.	Almeida, José B. 1999. "Cryptographic algorithms formalized in Coq", Trabalho apresentado em COQ Workshop, Formal Methods Europe, In Informal proceedings of the COQ Workshop, Tolouse.

Orientações Orientations

Participação no júri de Graus Académicos Academic Degrees jury participation

Orientações Orientations

Dissertação de Mestrado Master degree dissertation

Concluídas Completed

1.	Pedro Vasconcelos Castro Lopes Faria, Remote Electronic Voting: Studying and Improving Helios, 2013. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Orientador).

2.	Fernando Guilherme Goncçalves Pequeno de Oliveira e Silva, O impacto da computação quântica na Criptografia moderna, 2013. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Orientador).

3.	Ricardo Joaquim Pereira de Macedo, Reforço da Privacidade Através do Controlo da Pegada Digital, 2013. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Orientador).

4.	José Miguel Gomes Loureiro, Implementação de funções de hash e cifras de chave pública baseadas em retículos, 2012. Dissertação (Mestrado em Matemática e Computação) - Universidade do Minho (Co-orientador).

5.	Henrique Manuel Fernandes de Castro, Formal Verification of Security Proofs, 2010. Dissertação (Mestrado em Engenharia Informática) - Universidade do Minho (Orientador).

6.	Rui Miguel da Silva Abreu, Cryptography in Java, 2009. Dissertação (Mestrado em Informática) - Universidade do Minho (Orientador).

Participação no júri de Graus Académicos Academic Degrees jury participation

Doutoramento Phd

1.	Almeida, José Bacelar. Participação no júri de Victor Francisco Mendes de Freitas Gomes da Fonte. Causality Tracking in Dynamic Distributed Systems, 2009. Tese (Doutoramento em Informática) - Universidade do Minho.

2.	Almeida, José Bacelar. Participação no júri de João Paulo Fernandes. Design, Implementation and Calculation of Circular Programs, 2009. Tese (Doutoramento em Informática) - Universidade do Minho.

3.	Almeida, José Bacelar. Participação no júri de José Miguel Pereira Vilaça. Visual Functional Programming - An Approach Based on International Nets, 2009. Tese (Doutoramento em Informática) - Universidade do Minho.

4.	Almeida, José Bacelar. Participação no júri de Alberto Manuel Brandão Simões. Extracção de Recursos de Tradução com base em Dicionários Probabilísticos de Tradução, 2008. Tese (Doutoramento em Informática) - Universidade do Minho.

5.	Almeida, José Bacelar. Participação no júri de António Luis Pinto Ferreira de Sousa. Partial replication in the database state machine, 2007. Tese (Doutoramento em Informática) - Universidade do Minho.

Produção científica Scientific production

Dados complementares data

Total

Produção científica Scientific production

17

Livros e capítulos Books and book chapters

5

Livros publicados ou organizados Published or organized books

1

Capítulos de livros publicados Published book chapters

4

Artigos científicos em revistas Papers in periodics

6

Com arbitragem científica With scientific refereeing

6

Trabalhos em eventos Papers in conference proceedings

6

Com arbitragem científica With scientific refereeing

4

Sem arbitragem científica Without scientific refereeing

2

Total

Dados complementares (Additional data)

16

Orientações Orientations

11

Participação no Júri de Graus Académicos Academic Degrees jury participation

5

	Jorge Miguel de Matos Sousa Pinto
	Manuel Bernardo Martins Barbosa
	Nelma Resende Araújo Moreira