DIUM/CCTC

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

r3 - 15 Jun 2005 - 14:31:19 - CesarRodrigues
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM