Graduation Projects

Bachelor / Master

• Implementation of Computational Models and Execution Models in a PGA setting.
  knowledge: program algebra
  proposal: propose your own project PDF
  # students: several
• Visual Editing of PSF specifications.
  knowledge: process algebra
  proposal: PDF
• Software (re-)engineering with PSF & the Go programming language.
  knowledge: process algebra
  proposal: propose your own project PDF
  # students: several
• Development of C# MetaFactory Patterns (external, see www.metafactory.nl).
  knowledge: C#, Java (optional)
  proposal: PDF
• Generating Coordination Architectures
  knowledge: process algebra
  proposal: PDF
• PGA in a Multi-core Setting
  knowledge: program algebra
  proposal: PDF