Jorge Sousa Pinto is a senior member of the Association for Computing Machinery, Associate Professor with Habilitation at the Department of Informatics of the University of Minho and a researcher at HASLab/INESC TEC. He obtained his degree of Docteur de L'Ecole Polytechnique (Paris) in 2001 and has in the past worked on linear logic and functional programming. More recently his work focused on deductive software verification.

Research

Interests:
Deductive Program Verification
Software Model Checking 

Projects: 
AVIACC | FAVAS | RESCUE | LERNET