Open Thesis Topics

If you are interested in writing a thesis (in German or English) in the scope of one of our research topics, just come talk to us. We are also open for your own ideas in the general area of software engineering / programming languages.

List of currently open thesis topics

BSc / MSc

Spectrum-based fault localization (SBFL) for Haskell

Spectrum-based fault localization (SBFL) is a technique for automatically locating the probable source code location of bugs in software.

Read more ...
BSc / MSc

A Document Processor for Scientific Articles

LaTeX is one of the predominant document preparation systems for scientific articles. While very expressive, LaTeX documents tend to be verbose, fragile, and difficult to author.

Read more ...
MSc

A Language Server Protocol Extension for Effects and Handlers

Static type systems help to avoid programming errors by indicating to the programmer at compile time that a value potentially has a wrong type. This way, unsupported operations (such as dividing two strings or calling a method on a number) are ruled out before the program is executed.

Read more ...