Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 4 Quality Education -
SDG 5 Gender Equality -
SDG 9 Industry, Innovation, and Infrastructure -
SDG 10 Reduced Inequalities -
SDG 17 Partnerships for the Goals
Fingerprint
Dive into the research topics where Tiziana Margaria is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Formal Methods Meet AI Guidance for Correct Software Development
Krumrey, M., Margaria, T. & Steffen, B., 2026, Lecture Notes in Computer Science. Springer Science and Business Media Deutschland GmbH, p. 117-137 21 p. (Lecture Notes in Computer Science; vol. 16470 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
LC/NC Pipeline for Training and Operationalising Segmentation Models in a Data Scarce Domain: De-arraying Tissue MicroArrays
Brandon, C., Fennell, É., Singh, A. & Margaria, T., 2026, Bridging the Gap Between AI and Reality - 2nd International Conference, AISoLA 2024, Selected Papers. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 104-121 18 p. (Lecture Notes in Computer Science; vol. 16032 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Let’s Talk AI with Computer Science Expert Tiziana Margaria
Margaria, T. & Steffen, B., 2026, Lecture Notes in Computer Science. Springer Science and Business Media Deutschland GmbH, p. 210-221 12 p. (Lecture Notes in Computer Science; vol. 15000 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Open Access -
Using Formal Methods to Help Explain Real-Time Operator Support in Metal Additive Manufacturing
Hoare, C., Dowling, D. & Margaria, T., 2026, In: IT Professional. 28, 1, p. 93-98 6 p.Research output: Contribution to journal › Article › peer-review
-
Challenges for AI in Healthcare Systems
Bertl, M., Lamo, Y., Leucker, M., Margaria, T., Mohammadi, E., Mukhiya, S. K., Pechmann, L., Piho, G. & Rabbi, F., 2025, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Selected Papers. Steffen, B. (ed.). Springer Science and Business Media Deutschland GmbH, p. 165-186 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14129 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access
Prizes
-
University of Limerick Team Teaching Award
Murphy, R. (Recipient) & Margaria, T. (Recipient), 2023
Prize