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