| 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 |
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: | 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
|
Departamento de Informática (UM)