Dr. Tiziana Margaria

Tiziana Margaria-Steffen is full professor at the Faculty of Mathematics and Natural Sciences of the University Potsdam, where she holds the Chair of Service and Software Engineering at the Institute of Informatics.

She has previously held positions in Germany at the universities of Göttingen (where she was until March 2006 associate professor and headed the group of Service Engineering for Distributed Systems at the Institute of Informatics), DortmundPassau, and at the Technical University of Aachen, in Sweden at the University of Uppsala and in Italy at the University of Udineand at the Politecnico di Torino. Her research focusses on model-based system and service engineering, a subdiscipline of software engineering and programming languages with a strong emphasis on tools and formal methods.

Tiziana Margaria-Steffen received a Laurea in Electrical Engineering and a PhD degree in Computer and Systems Engineering from the Politecnico di Torino, Italy. She is (co-) author of over 80 refereed papers in international journals and conferences. 
Tiziana Margaria-Steffen is currently President of the "European Association of Software Science and Technology" (EASST), after having been elected member of the Presidium of the GI("Gesellschaft für Informatik" - the German Association for Computer Science). 
She is member of the Board of FMICS (the ERCIM Working Group on Formal Methods for Industrial Critical Systems), serves as a member of the steering committee of ETAPS, the European joint Conferences on Theory and Practice of Software, is an Advisory Board member of the QPQ (QED-Pro-Quo) Initiative, an online journal for publishing peer-reviewed source code for deductive software components, and a member of the IFIP Working Group 10.5 on Design and Engineering of Electronic Systems. She is also the ideator and Steering Committee Chair of ISoLA 2006, the series of International Symposia on Leveraging Applications of Formal Methods, Verification and Validation, a co-founder of the International Journal on Software Tools for Technology Transfer (STTTSpringer), and a member of the editorial board of the Formal Methods Letter (Springer) and of the NASA journal Innovations in Systems and Software Engineering (Springer). If you want to know more about PC Chairs and Memberships, please click here
She is a member of the ACMIEEEGI, FME, EAPLS, and EASST.