Personal Information

  • Name: CÚsar J. Rodrigues
  • Email: cjr@di.uminho.pt
  • Web: This Page
  • Phone: +351253604445

Research Interests

  • Formal Methods
  • Mathematics of Program Construction
  • Refinement Calculi
  • Calculus of Relations
  • Category Theory

About My Ph.D Project

  • Subject. foundations of program development by calculation
  • Background. the pointfree relational calculus
  • Emphasis. data refinement and the calculus SETS
  • Case study. database normalization by calculation