Prof. Tiziana Margaria is Chair of Software Systems at the University of Limerick. She leads the digital manufacturing Platform in the I-Form Centre and co-directs the National Centre for Research Training in AI. Her work focuses on neurosymbolic approaches to create connected digital IT spaces and on explainable AI for case-by-case auditable high-assurance systems, combining formal methods and deterministic reasoning with AI/ML technologies. As a PI in the Confirm Smart Manufacturing Research Centre, she worked on digital twins and the Digital Thread for cyber-physical manufacturing systems. She is also a funded investigator at Lero, the Irish Software Research Centre. Tiziana is President of the Irish Computing Society, Vice President of EASST, steering committee member of ETAPS, past President of FMICS, and Chair of IFIP WG 1.9/2.15 on Verified Software.

Last updated: