People

Project Ideas

  • Ownership Inference Type System (looking for MSc or PhD students)
  • Porting OGJ to C# (looking for 400-level students)
  • Ownership in Collections (looking for 400-level or MSc students)
  • Ownership Inference Eclipse Plugin (looking for 400-level students)
  • Ownership Design Patterns (looking for 400-level students)
  • Ownership "Intent" in the Design (looking for 400-level students)
  • Machine-checked proof of FGO (looking for 400-level students)

Publications