« July 2018 »
July
MoTuWeThFrSaSu
1
2345678
9101112131415
16171819202122
23242526272829
3031
Uni-Logo
You are here: Home Teaching Student Projects and Thesis Topics In progress
Document Actions

In progress

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...
Personal tools