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