Tiziana Margaria

Tiziana Margaria
Margaria in 2014
Born (1964-10-14) 14 October 1964
Turin, Italy
Scientific career
FieldsFormal methods, Model-driven engineering
InstitutionsUniversity of Limerick, Lero

Tiziana Margaria (born 14 October 1964) is an Italian computer scientist and software engineer whose research topics include formal methods and model-driven engineering. Educated in Italy, she has worked in Italy, Germany, Sweden, and Ireland, and currently works in Ireland as Chair of Software Systems in the University of Limerick's Department of Computer Science and Information Systems.

Biography

Tiziana was born in 1964.[1] After high school at the Liceo Scientifico Gino Segrè in Turin, Margaria studied for a laurea in electronic engineering at the Polytechnic University of Turin, which she completed in 1988. She completed her Ph.D. there in 1993, with the dissertation Verifica formale della correttezza del progetto di sistemi digitali.[2]

Meanwhile she held a teaching position at the University of Udine from 1988 to 1991, and was a visiting researcher at RWTH Aachen University from 1991 to 1993. From 1993 to 1998 she was a postdoctoral researcher at the University of Passau, working there with Christian Lengauer.[2] She continued to work as a researcher at the Technical University of Dortmund from 1998 to 2004, also working as a visiting professor in Sweden at Uppsala University from 1999 to 2000.[2]

In 2004 she obtained a permanent faculty position, as professor of service engineering for distributed systems at the University of Göttingen.[2] She moved to the University of Potsdam in 2006, as Chair of Service and Software Engineering.[3] In 2015 she moved again, to the University of Limerick and Lero, the Science Foundation Ireland Research Centre for Software in Limerick,[4] where she is Chair of Software Systems.[5]

In July 2023 she was elected as incoming new president of the University of Lübeck, Luebeck, Germany.[6] In February 2024 she was voted out by the senate of the University of Lübeck.[7]

Work

Margaria's initial research interests included formal verification of hardware. In the early 1990s she switched focus to using similar mathematical methods for the formal verification of software, making major contributions in particular to Agent verification. She also played a role in the evolution of service orientated architecture and in low-code development platforms. A people person as well as a scientist, she has for decades been active in the organisation of computing related learned societies and conferences, in addition to co-founding and editing several journals. Margaria has also been an active educator, including as part of efforts to encourage more girls and women in STEM.[8]

Margaria is a Fellow and the current President of the Irish Computer Society and a Fellow of the Society for Design and Process Science.[5][9] She is member of the Board of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS),[10] serves as a member of the steering committee of the European Joint Conferences on Theory and Practice of Software (ETAPS),[11] and is a vice-chair of the Design and Engineering of Electronic Systems working group of the International Federation for Information Processing (IFIP).[12]

She became founding co-editor-in-chief of the International Journal on Software Tools for Technology Transfer in 1997.[13] In the same year, she also founded and served as CEO for the Dortmund based company METAFrame Technologies , which specialised in software for technology transfer, and for formal verification. [8]

Until 2016 she was Managing Editor of the Electronic Communications of the European Association of Software Science and Technology (ECEASST) journal. [14] She became a fellow of the Society for Design and Process Science (SDPS).[8] She is Co-director of the Science Foundation Ireland and of the Centre of Research Training in AI based in Ireland.[15]

Most recently she leads the R@ISE project, a Science Foundation Ireland strategic partnership program on Low-code/No-code software development for high assurance software in cooperation with co-funding industrial partners and the Limerick city and county council.[16][17]

Personal life

Margaria married computer scientist Bernhard Steffen in 1992; they have two children. [8]

References

  1. ^ Birth year from Library of Congress catalog entry, retrieved 2023-03-26
  2. ^ a b c d Curriculum vitae (PDF) (in German), University of Potsdam, retrieved 2023-03-26
  3. ^ Service and Software Engineering: Chair from 15/03/2006 to 30/09/2014: Prof. Dr. Ing. Tiziana Margaria-Steffen, University of Potsdam, retrieved 2023-03-26
  4. ^ O'Gorman, Gavin (7 January 2015), "Boost for UL based Lero centre as software star joins", Limerick Leader, retrieved 2023-03-26
  5. ^ a b Prof Tiziana Margaria, University of Limerick Health Research Institute, 18 January 2019, retrieved 2023-03-26
  6. ^ "Future President Prof. Dr. Tiziana Margaria: Universität zu Lübeck".
  7. ^ "Präsidentin der Uni Lübeck abgewählt: Senat macht Zweitplatzierten zum neuen Präsidenten".
  8. ^ a b c d Hinchey M, Steffen B, eds. (2025). The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday. Springer Nature. pp. 1–19, 35–67, 302–307, back cover. ISBN 978-3031738869.
  9. ^ ICS AGM Elects Tiziana Margaria as New President, Irish Computer Society, 18 October 2024, retrieved 2025-02-21
  10. ^ FMICS Board on ERCIM Working Group on Formal Methods for Industrial Critical Systems, accessed 24 May 2023
  11. ^ ETAPS Steering Committee, accessed 24 May 2023
  12. ^ Working Group 10.5 Design and Engineering of Electronic Systems, accessed 24 May 2023
  13. ^ Cleaveland, W. Rance; Margaria, Tiziana; Steffen, Bernhard (December 1997), "Editorial", International Journal on Software Tools for Technology Transfer, 1 (1–2): 1–5, doi:10.1007/s100090050001, S2CID 214764664
  14. ^ Electronic Communications of the European Association of EASST, accessed 20 Feb 2026
  15. ^ Leadership Team Centre of research training AI, accessed 24 May 2023
  16. ^ The R@ise project homepage, accessed 24 May 2023
  17. ^ Science Foundation Ireland News April, 4th 2023, accessed 24 May 2023
This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.