Bachelor of Programming Languages
We host bachelor (research projects). Contact our faculty for opportunities.
Bachelor project opportunities
TBA
Past bachelor projects
- Code Extraction from a Dependently Typed Language
- Practical Verification of Functional Programs (bis)
- Programming With Effects
- Literature Survey on Homotopy Type Theory
- Evaluating Superoptimizers
- Automated Validation of Definitional Interpreters
- Parsing Performance in Practice
- Practical Verification of Functional Libraries