Bachelor of Programming Languages

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

Bachelor project opportunities

New projects will be announced on Project Forum.

Past bachelor projects

2024/2025
  • Implementation and Verification of Algorithms
  • Modelling Cyclic Structures in Agda
  • Property-Based Testing in the Wild
  • Programming Language Tooling for Hylo
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