Bio

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. He has supervised 6 PhD students, published around 60 papers in international conferences and journals, and is one of the authors of the textbook "Rigorous Software Development: an Introduction to Program Verification". He coordinated the LerNet network of the EC ALFA programme and was recently the principal investigator of the AVIACC project, on the verification of concurrent software.