Humboldt-Universität zu Berlin, Institut für Informatik, Prof. Dr. Holger Schlingloff
This Page in German

Here is an overview on the courses as well as information on theses at the research group SVT. For further information please contact .


Bachelor-, Masters- and Doctoral Theses

There are a number of open topics for doctoral and bachelor/masters candidates, mainly in the area of testing, model checking, specification languages and tool development. Feel free to ask!

H. Schlingloff, 14.1.2016