Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
José Manuel Valença
Investigador
Professor Catedrárico do Departamento de Informática da Universidade do Minho com actividade nas áreas de Criptografia, Segurança e Ciências da Computação. Fundador do HasLab.
Licenciado em Engenharia Electrotécnica (1971) pela Universidade de Moçambique, doutorado em Engenharia (1978) pela Universidade de Oxford e agregado (1985) pela Universidade do Minho.
Consultor de segurança para o estado no português no projecto do Cartão do Cidadão (2001-2005), Agência Nacional de Segurança (membro da Conselho Técnico de Creditação), Ministério dos Negócios Estrangeiros como membro da comissão se segurança no projecto Galileo; vários projectos de menores dimensões no Ministério da Administração Interna, Assembleia da República e Presidência do Conselho de Ministros.
No âmbito da FCT: membro das comissões científicas da FCT, presidente de comissões de avaliação para a formação de recursos humanos. Idêntica atividade na DGXII e DGXII da Comissão Europeia. Presidente das comissões de avaliação da formação superior em Informática no âmbito do CRUPS e membro de idênticas comissões no âmbito da A3ES.
Publicações
A Theory-based Typological Notion of Institutions
Sernadas, A;Sernadas, C;Valença, JM;
1994
Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers
Post-Quantum Authentication with Lightweight Cryptographic Primitives
Faria, H;Valença, JM;
2021
IACR Cryptol. ePrint Arch.
Teses Orientadas
A software package implementing efficiently time series mappings
Ana Filipa Pereira Torres
M - 2023
UP-FCUP
