Skip to main content

Prof Tiziana Margaria

Home | Person | Hri Member | Prof Tiziana Margaria

Professor Tiziana Margaria is Chair of Software Engineering and Head of Department at the Dept. of Computer Science and Information Systems at the University of Limerick. She also heads the Lero Committee on International Relations Development.

She has broad experience in the use of formal methods for high assurance systems, in particular concerning functional verification, reliability, and compliance of complex heterogeneous systems.

She 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); steering committee member of ETAPS, the European joint Conferences on Theory and Practice of Software; managing editor of STTT, the Springer Journal on Software Tools for Technology Transfer; and co-founder of the TACAS and ISoLA series of conferences. Tiziana is a Fellow of the Irish Computer Society and of SDPS, the Society for Design and Process Science.

In EuSEM (European Society for Emergency Medicine), she co-chairs the Special Interest Group on Technology and Processes of Care in the Emergency Care (SIG-TPCEC).

In Lero, she heads research projects on Scientific Workflows, in particular for data analytics, on model-driven service-oriented Software design for evolving systems, and on holistic HW/SW Cybersecurity. Current application domains are to embedded systems, healthcare, and smart advanced manufacturing. The aforementioned are Tiziana’s research topics and application domains most relevant to ALECS.

Publications

McInerney C., Lamprecht AL., Margaria T. (2017). Computing Camps for Girls – A First-Time Experience at the University of Limerick. In: Tatnall A., Webb M. (eds) Tomorrow's Learning: Involving Everyone. Learning with and about Technologies and Computing. WCCE 2017. IFIP Advances in Information and Communication Technology, 515. Springer, Cham.  https://doi.org/10.1007/978-3-319-74310-3_50

Margaria, T. & Steffen, B., eds. (2018). From Computational Thinking to Constructive Design with Simple Models: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. https://doi.org/10.1007/978-3-030-03418-4_16   

Gossen, F., Margaria, T., Murtovi, A., Naujokat, S. & Steffen, B. (2018). DSLs for Decision Services: A Tutorial Introduction to Language-Driven Engineering, 546-564. https://doi.org/10.1007/978-3-030-03418-4_33

Steffen B., Margaria T. (2018) Predicate Abstraction and Such.... In: Howar F., Barnat J. (eds) Formal Methods for Industrial Critical Systems. FMICS 2018. Lecture Notes in Computer Science, vol 11119. Springer, Cham. https://doi.org/10.1007/978-3-030-00244-2_12

Santos, W., Cunha, A., Moura, H. & Tiziana, M. (2018). Towards a Definition of Simplicity in Agile Software Development: A Focus Group Study. DOI: 10.1007/978-3-319-73673-0_1. https://www.springerprofessional.de/en/towards-a-definition-of-simplicity-in-agile-software-development/15362128