Bachelor of Programming Languages

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

Bachelor project opportunities

TBA

Past bachelor projects

2023/2024

  • Correct-by-construction Implementation of Type Checkers
  • Efficiency in Compiler Architecture
  • Programming with Effects and Algebras
  • The Haskell Software Lifecycle

2022/2023

  • A computer-checked library of category theory
  • Building Type Checkers Using Scope Graphs
  • Computer-checked Proofs in Homotopy Type Theory
  • Correct-by-construction refactoring of functional code
  • Literature survey on implementation techniques for type systems

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