Tiziana Margaria

Professor Tiziana Margaria is Chair of Software Systems and Head of Department in the Department of Computer Science and Information Systems at the University of Limerick. She has extensive experience using formal methods for high assurance systems, in particular with regard to functional verification, reliability and compliance of complex heterogeneous systems. Current application domains are for embedded systems, healthcare, and smart advanced manufacturing.

He is currently Vice-President of the European Association for Software Science and Technology (EASST); Former President of FMICS (ERCIM Working Group on Formal Methods for Critical Industrial Systems); Member of the Steering Committee and General Chair 2020 of ETAPS, the European Joint Conferences on Software Theory and Practice; editor-in-chief of STTT, the Springer Journal on Software Tools for Technology Transfer; and co-founder of the TACAS and ISOLA conference series. Tiziana is a member of the Irish Computer Society and the SDPS, Society for Design and Process Science.

  • Data analytics
  • Model-driven service-oriented Software design for evolving systems
  • Holistic HW/SW Cybersecurity

Tiziana Margaria

Professor Tiziana Margaria is Chair of Software Systems and Head of Department in the Department of Computer Science and Information Systems at the University of Limerick. She has extensive experience using formal methods for high assurance systems, in particular with regard to functional verification, reliability and compliance of complex heterogeneous systems. Current application domains are for embedded systems, healthcare, and smart advanced manufacturing.

He is currently Vice-President of the European Association for Software Science and Technology (EASST); Former President of FMICS (ERCIM Working Group on Formal Methods for Critical Industrial Systems); Member of the Steering Committee and General Chair 2020 of ETAPS, the European Joint Conferences on Software Theory and Practice; editor-in-chief of STTT, the Springer Journal on Software Tools for Technology Transfer; and co-founder of the TACAS and ISOLA conference series. Tiziana is a member of the Irish Computer Society and the SDPS, Society for Design and Process Science.

  • Data analytics
  • Model-driven service-oriented Software design for evolving systems
  • Holistic HW/SW Cybersecurity