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

Publicações selecionadas

  • 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.
  • J.M. Valença e J.B. Barros. Fundamentos da Computação – Livro II: Programação Funcional. Universidade Aberta, 2000. ISBN 972-674-318-4.
  • 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

Projetos

S/I

Docência

Regências: Nenhuma atribuída actualmente

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...).
  • Professor em cursos do 1º ciclo (LESI, LEI, LMCC, LCC) desde 1992

[ Quadro de todo o pessoal do DIUM ]