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.)
You can contact me by e-mail or phone (+43-1-58801-18514).
Office hours are on Monday from 10 a.m. to 11 a.m.
I am not reachable from July 21 to August 19, 2012.
