Als Mitarbeiter der Complang-Gruppe an der TU Wien beschäftige ich mich in Forschung und Lehre mit dem Entwurf und der Anwendung von Programmiersprachen mit den Schwerpunkten Typkonzepte sowie objektorientierte und nebenläufige Programmierung.
Der Forschungsschwerpunkt liegt auf einem neuartigen Typsystem, das spezielle Unterstützung für die Synchronisation nebenläufiger Prozesse und den sicheren Austausch zustandsbehafteter Softwarekomponenten bietet.
Ich biete Lehrveranstaltungen aus den Bereichen Programmiersprachen, objektorientierte Programmierung und Typsysteme an.
Auf diesen Gebieten betreue ich auch Projekt-, Diplom- und Magisterarbeiten.
Erreichbar bin ich am besten telefonisch (+43-1-58801-18514) oder per e-Mail, persönlich treffen Sie mich in meiner Sprechstunde montags von 10 bis 11 Uhr.
Vom 21. Juli bis 19. August 2012 bin ich nicht erreichbar.
