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.
Announced: 2017-03-12
A Tutorial Proof Checker, Reloaded
Designing and implementing an IDE-like editor for natural deduction proofs.
Announced: 2017-10-20


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

Valid HTML 4.01! Andreas Abel,
Last modified: 2017-10-20 18:39>
Valid CSS!