Thesis topics and HiWi jobs
Come by my office (or email) if you are interested in work concerning program analysis, virtual machines or functional programming.
WS16: Program Optimization
SS16: Grundlagen Algorithmen und Datenstrukturen
WS15: Einführung in die Informatik 2
SS15: Grundlagen Algorithmen und Datenstrukturen
WS14: Program Optimization
SS14: Virtual Machines
Master's thesis: Verifying Regular Safety Properties of C Programs Using the Static Analyzer Goblint
Publications of Ralf Vogler
The following papers were published in peer-reviewed conferences. The copyright of these papers lies with the respective publishers.