Jorge Sousa Pinto is a senior member of the Association for Computing Machinery, Associate Professor at the Department of Informatics of the University of Minho and a researcher at HASLab/INESC TEC.

Research

Interests:
Deductive Program Verification
Software Model Checking 

Projects: 
AVIACC | FAVAS | RESCUE | LERNET