Departamento de Informática (UM)

Página institucional

1936

N.Mec.NomeCategoriaGrupo Científico-PedagógicoContactosEspaço

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://jspdium.github.io

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
  • A. de Matos Pedro, J. S. Pinto, D. Pereira, and L. M. Pinho. Runtime verification of autopilot systems using a fragment of MTL-D . International Journal on Software Tools for Technology Transfer (STTT), 20(4):379–395, 2018
  • R. A. B. e Silva, N. N. Arai, L. A. Burgareli, J. M. P. de Oliveira, and J. S. Pinto. Formal verification with Frama-C: A Case Study in the Space Software Domain. IEEE Trans. Reliability, 65(3):1163–1179, 2016

Projetos

  • SAFER - Safety Verification for Robotic Software. FCT, PTDC/CCI-INF/29583/2017.
  • REASSURE: Secure Runtime Verification for Reliable Real-Time Embedded Software. FCT, PTDC/EEI-COM/28550/2017
  • PROVA: Plataforma para a especificação e Validação de Requisitos). QREN, 23137/13/SI/2011 ( Co-PI )
  • AVIACC: Analysis and Verification of Critical Concurrent Programs. FCT, PTDC/EIA-CCO/108995/2008 ( PI )

Docência

Regências:

Aulas:

  • 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, T 2, TP 1, TP 2, TP 3, TP 4 e TP 5
  • Verificação Formal [ME78ME7800005186]: turnos T 1 e TP 1

Serviço

  • Member of the board of the joint Minho-Aveiro-Porto doctoral programme in Computer Science (MAP-i)

[ Quadro de todo o pessoal do DIUM ]