The Team
Professor Tiziana Margaria
Co-Director
Prof. Margaria is Chair of Software Systems at the University of Limerick (Ireland), where she is currently Head of the Department of Computer Science and Information Systems. Her career funding totals over €80 million, over €18m of which to the own institution. Her broad research experience in the development and use of formal methods for high assurance systems, in particular concerning functional verification, reliability, and compliance of complex heterogeneous systems.
OTHER TEAM MEMBERS
