
Tiziana Margaria-Steffen erhielt eine Professur für Service und Software Engineering im Institut für Informatik der Mathematisch-Naturwissenschaftlichen Fakultät. Sie wurde 1964 in Turin/Italien geboren und studierte von 1982 bis 1988 Ingegneria Elettronica. Im Jahre 1989 legte sie die Staatsprüfung als freiberufliche Ingenieurin ab. 1993 promovierte die Wissenschaftlerin zum Thema "Formale Verifikation der Korrektheit des Entwurfs digitaler Systeme". Tiziana Margaria-Steffen arbeitete unter anderem an der Universität Udine/Italien, am Politecnico Torino und seit 1992 an der Rheinisch-Westfälischen Technischen Hochschule Aachen, den Universitäten Passau, Dortmund, Göttingen sowie Uppsala/Schweden. Seit 1997 ist sie Geschäftsführerin der METAFrame Technologies Software Consulting and Design GmbH Dortmund. Zu den Forschungsschwerpunkten von Tiziana Margaria-Steffen zählt die Entwicklung zuverlässiger, komplexer verteilter Systeme mit Hilfe formaler Methoden.