In my research work and courses at the
Complang Group of the
TU Vienna I deal with the design
and application of programming languages focusing on type concepts as well as
object-oriented and concurrent programming.
Currently I am developing a new object-oriented programming language with a
novel type system supporting synchronization of concurrent processes and
reliable swapping of state-full software components.
I offer mainly courses in the area of programming languages, object-oriented
programming, and type systems. In these areas I supervise praktika as well as
diploma and master's theses. (Information on courses is only in German.)
