Master Thesis Topics

Agda's scope checker implemented in Agda
Bootstrapping a front-end for the Agda language.
Announced: 2018-10-21 (currently taken)
Agda implementation of collections
Correct-by-construction key-value maps in Agda.
Announced: 2018-10-21
A Tutorial Proof Checker, Reloaded
Designing and implementing an IDE-like editor for natural deduction proofs.
Announced: 2017-10-20
Simple and robust layout rules for parsing programming language code
Designing a framework for layout-sensitive grammars and implementing a parser generator.
Announced: 2017-03-12


[ Home | CV | Projects | Publications | Talks | Teaching | Sharing ]

Valid HTML 4.01! Andreas Abel,
Last modified: 2019-02-05 09:17>
Valid CSS!