Professor Tiziana Margaria has broad experience in the use of formal methods for high assurance systems is currently Vice President of the European Association of Software Science and Technology (EASST); President of FMICS (the ERCIM Working Group on Formal Methods for Industrial Critical Systems); and co-founder of the TACAS and ISoLA series of conferences. Tiziana is a Fellow of the Irish Computer Society and of SDPS. Tiziana is a professor of Software Systems at UL and Lero, and Co-director of the ISE programme.