Research interests include:

• type systems
• module systems
• functional languages
• object-oriented languages
• compilers
• runtime systems
• concurrency

Currently I am involved in the design and implementation of Alice/Stockhausen, which combines the essential ideas of the Oz/Mozart system with typeful programming a la Standard ML.

See our publications data base for my recent papers. As of January 5th, 2007, I also have (finally) submitted my PhD thesis, developing a theory for typeful open programming. Now I wait for the referees to find any of the undoubtedly numerous bugs I made in the proofs... :-)

Professional Activities:

• Member of the program committee for the 2005 ACM SIGPLAN Workshop on ML in Tallinn, Estonia
• Member of the program committee for the Second International Mozart/Oz Conference (MOZ 2004) in Louvain, Belgium
• Paper reviews for major conferences and journals, including POPL, ESOP, ICFP, PPDP, PADL, JFP.
• Moderator of the Alice ML mailing lists

Some other stuff I have done:

• A model implementation of Standard ML which is named HaMLet. I try to maintain a list of defects and ambiguities in the language's specification.

• The most visited of my pages: a quick chart comparing syntax of Standard ML and Objective Caml.

• Together with Martin Sulzmann from Uni Singapore and the Chameleon team I worked a bit on the overloading framework based on constraint handling rules and the Chameleon language.

• Together with my colleague Leif I entered the 2000 ICFP Functional Programming Contest as team "Helikopter" (named after the famous "Helikopter-Streichquartett" by Karlheinz Stockhausen). We are astonished that we have been nominated for the Judge's Prize! In the 2001 Contest we participated again. However, this time our entry was hopeless :-(

• Previous work includes co-designing and implemening a purely functional, higher-order module language called M (now long dead).

My favourite programming language still is Sartre.

Assisted courses:

• Informatik 1 WS 98/99
• Informatik 1 WS 99/00
• Seminar Typsysteme, WS 99/00
• Seminar Types and Programming Languages, WS 02/03
• Software-Praktikum Verteiltes Snake-Spiel in Alice, SS 03
• Seminar Logische Aspekte von XML, SS 03
• Software-Praktikum Verteiltes Snake-Spiel in Alice, WS 03/04
• Proseminar Programmiersysteme, WS 03/04
• Seminar Theorie kommunizierender Systeme: Der Pi-Kalkül, SS 04
• Seminar Advanced Functional Programming, WS 05/06
• Semantics WS 05/06

Students:

• Gerhard Schneider, Diploma Thesis "ML mit Typklassen" (finished)
• Jan Schwinghammer, FoPra "Ein Parser-Generator für SML" (finished)
• Bernadette Blum und Marvin Schiller, FoPra "Ein Browser fr Alice" (supervised with Thorsten Brunklaus) (finished)
• Niko Paltzer, Project "Ein Lexer-Generator fr SML" (finished)
• Benedikt Grundmann, Project "Distributed Applications in Alice" (finished)
• Sebastian Germesin, Project "Test Suite for Alice" (finished)
• Christian Müller, Diploma Thesis "Run-time Byte Code Compilation, Optimization and Interpretation for Alice" (supervised by Guido Tack) (finished)
• Niko Paltzer, Bachelor Thesis "Efficient Representation of Dynamic Types" (finished)
• Sebastian Miele, Bachelor Thesis "Higher-order and Asynchronous Foreign Functions for SEAM" (cancelled)
• Georg Neis, Bachelor Thesis "A Semantics for Lazy Types" (finished)
• Andi Scharfstein, Bachelor Thesis "A Sandboxing Infrastructure for Alice ML" (finished)