Tiziana Margaria
Tiziana Margaria (born 1964 in Torino, Italy) is an Italian and German computer scientist and professor at the University of Limerick, Ireland.
Education and career[edit]
After her PhD at Politecnico di Torino she held positions at the RWTH Aachen, University of Passau, TU Dortmund University, and the University of Göttingen.
Margaria was a professor at the University of Potsdam, and then moved to work at Lero, the Irish software engineering research center based at the University of Limerick, in 2014.[1]
Margaria has served as the vice-president of the European Association of Software Science and Services[1] and president of the European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems (FMICS).[2]
In 1997, Margaria was a founding co-editor of International Journal on Software Tools for Technology Transfer.[3]
Research[edit]
Her research spans software systems design, development, and verification using formal methods, model driven design, service engineering, and workflow synthesis. Her approach to system design promotes advanced service engineering techniques for reliability and compliance, including XMDD (eXtreme Model Driven Design) that is a model-driven, service-oriented development approach applied to scientific workflows,[4] and data analytics such as model-driven service-oriented Software design for evolving systems.[5]
Tiziana Margaria co-founded the following journals and conferences
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)[6]
- core team of the foundation of Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
Selected publications[edit]
- Steffen, Bernhard; Margaria, Tiziana; Nagel, Ralf; Jörges, Sven; Kubczak, Christian (2007), Bin, Eyal; Ziv, Avi; Ur, Shmuel, eds., "Model-Driven Development with the jABC", Hardware and Software, Verification and Testing, Berlin, Heidelberg: Springer Berlin Heidelberg, 4383, pp. 92–108, doi:10.1007/978-3-540-70889-6_7, ISBN 978-3-540-70888-9, retrieved 2023-03-21
- Margaria, Tiziana; Steffen, Bernhard (2008), Margaria, Tiziana; Steffen, Bernhard, eds., "Agile IT: Thinking in User-Centric Models", Leveraging Applications of Formal Methods, Verification and Validation, Berlin, Heidelberg: Springer Berlin Heidelberg, 17, pp. 490–502, doi:10.1007/978-3-540-88479-8_35, ISBN 978-3-540-88478-1, retrieved 2023-03-21
- Margaria, Tiziana; Steffen, Bernhard (2009), Cardoso, Jorge; van der Aalst, Wil, eds., "Business Process Modeling in the jABC: The One-Thing Approach", Handbook of Research on Business Process Modeling, IGI Global, pp. 1–26, doi:10.4018/978-1-60566-288-6.ch001, ISBN 978-1-60566-288-6, retrieved 2023-03-21
- Raffelt, Harald; Steffen, Bernhard; Berg, Therese; Margaria, Tiziana (2009-11-01). "LearnLib: a framework for extrapolating behavioral models". International Journal on Software Tools for Technology Transfer. 11 (5): 393–407. doi:10.1007/s10009-009-0111-8. ISSN 1433-2787.
Awards and honors[edit]
Margaria is a fellow of the Irish Computer Society[citation needed] and a fellow of the Society for Design and Process Science.[7]
References[edit]
- ↑ 1.0 1.1 "Germany admires can-do attitude of Irish tech sector". Sunday Business Post; Cork [Cork]. 21 December 2014 – via Proquest.
- ↑ "Boost for UL based Lero centre as software star joins". Limerick Leader; Limerick, Ireland [Limerick, Ireland]. 7 January 2015.
- ↑ Cleaveland, W. Rance; Margaria, Tiziana; Steffen, Bernhard (1997). "Editorial". International Journal on Software Tools for Technology Transfer. 1 (1–2): 1–5. doi:10.1007/s100090050001. ISSN 1433-2779.
- ↑ Lamprecht, Anna-Lena; Margaria, Tiziana (2014), Lamprecht, Anna-Lena; Margaria, Tiziana, eds., "Scientific Workflows and XMDD", Process Design for Natural Scientists, Berlin, Heidelberg: Springer Berlin Heidelberg, 500, pp. 1–13, doi:10.1007/978-3-662-45006-2_1, ISBN 978-3-662-45005-5, retrieved 2023-03-22
- ↑ Formal methods for industrial critical systems : a survey of applications. Stefania Gnesi, Tiziana Margaria-Steffen. [Washington, DC]. 2013. ISBN 978-1-118-45989-8. OCLC 820719492. Search this book on
- ↑ "ISoLA Conference Website".
- ↑ "Dr. Tiziana Margaria". www.sdpsnet.org. Retrieved 2023-03-21.
External links[edit]
- Tiziana Margaria publications indexed by Google Scholar
- Tiziana Margaria at Lero
- Tiziana Margaria publications indexed by the Scopus bibliographic database. (subscription required)
This article "Tiziana Margaria" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Tiziana Margaria. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
|
This page exists already on Wikipedia. |
