Selection of student projects and thesis topics on which students are currently working on. If you find one of the topics interesting please ask the tutor about similar or follow up projects/theses.
- [M.Sc. Teamproject] Case Study: From Requirements to Specifications
- [B.Sc. Thesis] Simplificaton of Formulas
- Develop a simplification algorithm for formulas
- [Varies] User Interface for Automata Library
- We have a tool that can perform several operations (determinization, intersection, emptiness check,...) on different kinds of automata (finite automata, Büchi automata, nested word automata). Develop a user interface...
- [B.Sc. Thesis] Delta Debugger for C programs
- Implementation of a general delta debugger for C programs.