Skip to content

Jorge Sousa Pinto

  • Associate Professor
  • HASLab / INESC TEC & Universidade do Minho
  • 8Followers
  • 8Following

Research interests

Formal Verification

Groups

Followers (8)

Explore network

Following (8)

Explore network

Professional experience

Associate Professor

HASLab / INESC TEC & Universidade do Minho

August 2012 - Present