Curriculum Vitae

José Carlos Bacelar Ferreira Junqueira de Almeida

Data da última atualização »Last update : 29/11/2013


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


Dados pessoais (Personal data)
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




Graus Académicos (Academic Degrees)
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.





Vínculos profissionais (Professional Positions)
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





Projetos de Investigação (Research projects)
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.






Línguas (Languages)
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).

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).




Prémios e títulos (Awards Prizes, and Honours)
2009 Best Software Science paper presented at the FMICS'09, The European Association of Software Science and Technology (EASST).




Produção científica, técnica e artística/cultural (Scientific, technical and artistical/cultural production)
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.





Dados Complementares (Additional data)


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.







Indicadores de produção (Production indicators)

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


Visualizações do curriculum [ 1573 ]
 
Página gerada pela Plataforma de Curricula DeGóis promovida pela FCT e pelo Gávea/DSI/UM em 14-01-2021 às 23:44:53
Plataforma de Curricula DeGóis: http://www.degois.pt/ | Icons by Axialis Team
Co-Autores Relacionados no DeGóis (3)
 Co-authors listed in Degóis