I have assisted in teaching the following courses and seminars. My duties included preparation and grading of lab assignments, organizing tutoring classes, and planning, supervising, and grading of written examinations.
Programming Languages course, Summer 1999, lectured by Gert Smolka.
Java seminar, Winter 1997/1998, together with Gert Smolka, Michael Mehl, and Christian Schulte.
Programming Languages course, Winter 1997/1998, lectured by Gert Smolka.
researches the Transformation, Linearization and Minimization
of Data Graphs with Transients.
Read abstract and download
Thesis (in English)
has investigated how to extend of Standard ML with a generic mechanism
to handle overloading, in particular using type classes.
Read abstract and
download Thesis (in German)
has developed a runtime on top of the JVM for Alice, including support
for pickling and distribution.
Read abstract |
Download Thesis (in English)
has developed an Alice compiler backend that generates JVM bytecode.
Read Abstract |
Download Thesis (in English)
has developed a debugger for Mozart, which he calls Ozcar.
Read abstract and download Thesis (in German) |
Read online documentation (in English)
developed a debugger for Alice, running on SEAM.
Read abstract
developed a parser generator for Standard ML.
Read term paper (in English) |
Read online documentation and download tool (in English)
have implemented a translator from DML programs to Oz. DML is
obtained from Standard ML by replacing the static type system by
a dynamic type system.
Read term paper (in English)