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.
