Prof. Tiziana Margaria is Chair of Software Systems at the University of Limerick. She leads the digital manufacturing Platform within the Research Ireland funded I-Form Centre and she is a co-director of the National Centre of Research Training in AI. She works on neurosymbolic approaches to create connected digital IT spaces (data, processes, machines, and their interoperability) and on explainable AI for case-by-case auditable high assurance systems.  This combines various kinds of formal methods and deterministic reasoning with suitable AI and ML technologies. As a PI in the Confirm Smart Manufacturing Research Centre  she worked on Digital twins and the Digital Thread for cyberphysical manufacturing systems. She is also a funded investigator in the Lero Research Centre for Software. Tiziana is currently President of the Irish Computing Society (ICS), Vice President of the European Association of Software Science and Technology (EASST); steering committee member of ETAPS, the European joint Conferences on Theory and Practice of Software. She is past President of FMICS (the ERCIM Working Group on Formal Methods for Industrial Critical Systems) and current Chair of the IFIP WG 1.9/2.15 on Verified Software.

Publications (Google Scholar)

Publications (ORCID)