Departamento de Informática (UM)

Página institucional

1936

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosGabinete

1936

Jorge Miguel Matos Sousa Pinto

Prof. Associado com Agregação

Lógica e Métodos Formais

E-mail
Ext.: +604455

E7-2.28

Qualificações: 1992 - Licenciatura em Engenharia Electrotécnica (Universidade do Porto); 1995 - Mestrado em Informática / Ciências da Computação (U. Minho); 2001 - Docteur de l’École Polytechnique em Ciência da Computação (École Polytechnique, França)

Página pessoal: https://haslab.uminho.pt/jsp

Investigação

Centro

HASLab

Repositórios

ORCID | Scopus | DBLP

Publicações selecionadas

  • Cláudio Belo Lourenço, Jorge Sousa Pinto: Why3-do: The Way of Harmonious Distributed System Proofs. ESOP 2022: 114-142
  • Md. Imran Alam, Raju Halder, Jorge Sousa Pinto: A deductive reasoning approach for database applications using verification conditions. J. Syst. Softw. 175: 110903 (2021)
  • João Carlos Pereira, Nuno Machado, Jorge Sousa Pinto: Testing for Race Conditions in Distributed Systems via SMT Solving. TAP@STAF 2020: 122-140
  • André de Matos Pedro, Martin Leucker, David Pereira, Jorge Sousa Pinto: Real-time MTL with durations as SMT with applications to schedulability analysis. TASE 2020: 49-56
  • 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)

Projetos

(por integrar)

Docência

Regências:

Aulas:

  • Algoritmos e Complexidade [8503O8]: turnos TP 2
  • Algoritmos e Complexidade [J303N6]: turnos T 1, TP 1 e TP 2
  • Dados e Computação [J902N4]: turnos T 1 e TP 1
  • Métodos Formais em Engenharia de Software [ME78ME7800003255]: turnos T 1, TP 1, TP 2, TP 3 e TP 4
  • Verificação Formal [ME78ME7800005186]: turnos T 1 e TP 1

Serviço

(por integrar)

[ Quadro de todo o pessoal do DIUM ]