Departamento de Informática (UM)

Página institucional

595

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosEspaç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 2
  • Laboratório de Algoritmia II [8504P1]: turno PL 2
  • Programação Funcional [J301N4]: turno T 2
  • Programação Imperativa [J302N5]: turnos T 2 e TP 2
  • Algoritmos e Complexidade [J303N6]: turnos T 2 e TP 6

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

[ Quadro de todo o pessoal do DIUM ]