Bachelor of Programming Languages

We host bachelor (research projects). Contact our faculty for opportunities.

Bachelor project opportunities

TBA

Past bachelor projects

2021/2022:

  • Code Extraction from a Dependently Typed Language
  • Practical Verification of Functional Programs (bis)
  • Programming With Effects
  • Literature Survey on Homotopy Type Theory
  • Evaluating Superoptimizers

2020/2021:

  • Automated Validation of Definitional Interpreters
  • Parsing Performance in Practice
  • Practical Verification of Functional Libraries