Jorge Sousa Pinto

Universidade do Minho - DI/CCTC

Site Navigation[Skip]

  • Rigorous SW Development (Textbook)
  • Projects
  • Events
  • Publications
  • Technical Reports and Drafts
  • Research Opportunities
  • Students
  • Teaching

Sidebar[Skip]

Events

  • EVTSIC track at INFORUM 2010

Forthcoming Textbook

Rigorous SW Development
An Introduction to Program Verification

more information at Springer

PhD Programme

The MAP-I Doctoral Programme in Computer Science represents a fusion of the doctoral offers in Computer Science in three top Portuguese Universities and constitutes a unified effort to prepare highly qualified human resources in Computer Science.

The programme targets both national and international audiences and is designed for excellence and competitiveness at the international level.

Publications

Pdf files for some of these are available here. My DBLP and ACM portal pages.

Program Analysis and Verification

Functional Programming and Program Transformation

Interaction Nets and Geometry of Interaction

Miscelaneous

[Back To Top]