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

Tiziana Margaria (born 1964) is a 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 became founding co-editor-in-chief of the International Journal on Software Tools for Technology Transfer in 1997.[3] 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.[4] In 2015 she moved again, to the University of Limerick and Lero, the Science Foundation Ireland Research Centre for Software in Limerick,[5] where she is Chair of Software Systems.[6]

In July 2023 she was elected as incoming new president of the University of Lübeck, Luebeck, Germany.[7]

Work

Margaria is a Fellow and the current Vice President of the Irish Computer Society and a Fellow of the Society for Design and Process Science.[6]

She is member of the Board of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS),[8] serves as a member of the steering committee of the European Joint Conferences on Theory and Practice of Software (ETAPS),[9] and is a vice-chair of the Design and Engineering of Electronic Systems working group of the International Federation for Information Processing (IFIP).[10]

She is Co-director of the Science Foundation Ireland and of the Centre of Research Training in AI based in Ireland.[11]

She founded the Electronic Communications of the European Association of Software Science and Technology (ECEASST) journal and is a fellow of the Society for Design and Process Science (SDPS).[12]

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.[13][14]

References

  1. ↑ Birth year from Library of Congress catalog entry, retrieved 2023-03-26
  2. 1 2 3 4 Curriculum vitae (PDF) (in German), University of Potsdam, retrieved 2023-03-26
  3. ↑ 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
  4. ↑ 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
  5. ↑ O'Gorman, Gavin (7 January 2015), "Boost for UL based Lero centre as software star joins", Limerick Leader, retrieved 2023-03-26
  6. 1 2 Prof Tiziana Margaria, University of Limerick Health Research Institute, 18 January 2019, retrieved 2023-03-26
  7. ↑ "Future President Prof. Dr. Tiziana Margaria: Universität zu Lübeck".
  8. ↑ FMICS Board on ERCIM Working Group on Formal Methods for Industrial Critical Systems, accessed 24 May 2023
  9. ↑ ETAPS Steering Committee, accessed 24 May 2023
  10. ↑ Working Group 10.5 Design and Engineering of Electronic Systems, accessed 24 May 2023
  11. ↑ Leadership Team Centre of research training AI, accessed 24 May 2023
  12. ↑ Society for Design and Process Science Fellows, accessed 24 May 2023
  13. ↑ The R@ise project homepage, accessed 24 May 2023
  14. ↑ Science Foundation Ireland News April, 4th 2023, accessed 24 May 2023
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.