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.
Derzeit entwickle ich eine objektorientierte Programmiersprache mit 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 Praktika sowie 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.
