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.
My research work focuses on 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.)
