| N.Mec. | Nome | Categoria | Grupo Científico-Pedagógico | Contactos | Espaço |
|---|
595 | José Bernardo Santos Monteiro Vieira Barros | Prof. Associado | Lógica e Métodos Formais | E-mail
Ext.: +604450 | E7-2.27 |
Qualificações: 1988 - Licenciatura em Sistemas e Informática (U. Minho); 1992 - Mestrado em Ciências da Computação (Oxford University); 1995 - Doutoramento em Ciências da Computação (Oxford University) | Página pessoal: http://www.di.uminho.pt/~jbb |
Investigação | Centro | HASLab | Repositórios | ORCID | Scopus | DBLP |
Publicações selecionadas | - José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Assertion-based slicing and slice graphs. Formal Asp. Comput. 24(2): 217-248 (2012)
- José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Assertion-based Slicing and Slice Graphs. SEFM 2010: 93-102
- José Manuel Valença e José Bernardo Barros. Fundamentos da Computação – Livro I: Computação e Linguagem. Universidade Aberta, 2000. ISBN 972-674-317-6.
- José Manuel Valença e José Bernardo Barros. Fundamentos da Computação – Livro II: Programação Funcional. Universidade Aberta, 2000. ISBN 972-674-318-4.
|
Projetos | S/I |
Docência | Regências: | Aulas: - Programação Funcional [8501Q8]: turnos T 1 e TP 1
- Programação Imperativa [8502T4]: turnos T 1 e TP 1
- Algoritmos e Complexidade [8503O8]: turnos T 1 e TP 3
- Laboratório de Algoritmia II [8504P1]: turno PL 2
- Algoritmos e Complexidade [H503N6]: turno T 2
- Programação Imperativa [J302N5]: turnos T 2 e TP 3
- Algoritmos e Complexidade [J303N6]: turno T 2
- Introdução à Programação Funcional [J901N5]: turnos T 1 e TP 2
- Programação Imperativa [J904N3]: turnos T 1, TP 1 e TP2
- Algoritmos e Complexidade [J905N8]: turno T 1
|
Serviço | - Director do Departamento de Informática da U.Minho
- Director de Curso da Lic. Matemática e Ciências da Computação
- Docente do Departamento de Informática da U. Minho desde 1989
|
Departamento de Informática (UM)