Tiziana Margaria is a Full Professor and Chair of Software Systems at the Department of Computer Science & Information Systems, University of Limerick, Ireland. Her expertise focuses on the use of formal methods for high assurance systems. Currently she is the lead for the Wave Platform – a cloud-based, collaborative development environment that adopts a Low-Code/No-Code paradigm founded in formal methods.

Prof. Margaria is Vice President of the European Association of Software Science and Technology (EASST); Chair of the IFIP Working Group on Verified Software, Board member of FMICS (the ERCIM Working Group on Formal Methods for Industrial Critical Systems); and founder of the ISoLA series of conferences. Tiziana is a Fellow and past President of the Irish Computer Society and a Fellow of SDPS. She is the Director of Platform 3 of the I-Form national Research Centre and Co-Director of the national Centre for Research Training in Artificial Intelligence.