Departamento de Informática (UM)

Página institucional🇬🇧

28

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosEspaç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

[ Quadro de todo o pessoal do DIUM ]