Master Thesis Topics
- Simple and robust layout rules for parsing programming language code
- Designing a framework for layout-sensitive grammars and implementing a parser generator.
- A Tutorial Proof Checker, Reloaded
- Designing and implementing an IDE-like editor for natural deduction proofs.