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