
| N.Mec. | Nome | Categoria | Grupo Científico-Pedagógico | Contactos | Espaço |
---|
28 | José Manuel Esgalhado Valença | Prof. Emérito | Lógica e Métodos Formais | E-mail Ext.: +604460 | E7-2.09 |
Qualificações: 1971 - Licenciatura em Engenharia Electrotécnica (Univ. Lourenço Marques); 1977 - Agregado em Informática (U. Minho); 1977 - Doutoramento em Ciências de Engenharia (Oxford University) | Página pessoal: https://www.inesctec.pt/pt/pessoas/jose-manuel-valenca |
Investigação | Centro | HASLab | Repositórios | ORCID | Scopus | DBLP | CV |
Publicações selecionadas | - H. Faria, J.M. Valença: Post-Quantum Authentication with Lightweight Cryptographic Primitives. IACR Cryptol. ePrint Arch. 2021: 1298 (2021)
- Sernadas, A., Sernadas, C., Valença, J.M.: A theory-based topological notion of institution. LNCS 906, 1995, pp. 437-452.
- C.J. Harris, J.M.E. Valença. The stability of input-output dynamical systems. London & New York, Academic Press, 1983
- J.M.E. Valença & C.J. Harris (1980). Nyquist criterion for input/output stability of multivariable systems, International Journal of Control, 31:5, 917-935, DOI: 10.1080/00207178008961092
- J.M. Valença e J.B. Barros. Fundamentos da Computação – Livro I: Computação e Linguagem. Universidade Aberta, 2000. ISBN 972-674-317-6.
|
Projetos | - NOMOS - Knowledge Acquisition for Normative Reasoning Systems (funded under FP2-ESPRIT 2, 1990–1992)
- EUROMATH (EU funded through the SCIENCE Programme, 1990-93)
- LOGCOMP - Lógica e Computação Simbólica (Praxis XXI - 2/2.1/TIT/1658/95) ( PI )
|
Docência | Regências: | Aulas: |
Serviço | - Consultor da Comissão Europeia em várias actividades de gestão de I&D.
- Consultor do Governo Português na área da Identificação Electrónica, Gestão do Ensino Superior, etc.
- Consultor do Governo Português em actividades de segurança (membro da Comissão Técnica do GNS, representante de Portugal nos grupos de trabalho de segurança do Projecto Galileu, etc...).
- Fundador do Centro Algoritmi da U.Minho.
- Professor em cursos do 1º ciclo (LESI, LEI, LMCC, LCC) desde 1992
|