Home | Research | Publications | Teaching | Projects | Education/Funding
RESEARCH
  • Software Engineering
    • Verification and Validation
    • SCOOP (Simple Concurrent Object Oriented Programming)
    • Contracts and Concurrency