Tiziana Margaria

Last updated

Tiziana Margaria
TizianaMargaria.jpg
Tiziana Margaria, 2014
Born (1964-10-14) 14 October 1964 (age 59)
Torino, Italy
NationalityItalian
Scientific career
Fields Formal methods, Model-driven engineering
Institutions University 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.

Contents

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] In February 2024 she was voted out by the senate of the University of Lübeck. [8]

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), [9] serves as a member of the steering committee of the European Joint Conferences on Theory and Practice of Software (ETAPS), [10] and is a vice-chair of the Design and Engineering of Electronic Systems working group of the International Federation for Information Processing (IFIP). [11]

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

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

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

Related Research Articles

<span class="mw-page-title-main">University of Limerick</span> University in Ireland, founded as NIHE Limerick

The University of Limerick (UL) is a public research university institution in Limerick, Ireland. Founded in 1972 as the National Institute for Higher Education, Limerick, it became a university in September 1989 in accordance with the University of Limerick Act 1989. It was the first university established since Irish independence in 1922, followed by the establishment of Dublin City University.

The International Federation for Information Processing (IFIP) is a global organisation for researchers and professionals working in the field of computing to conduct research, develop standards and promote information sharing.

Formal Methods Europe (FME) is an organization whose aim is to encourage the research and application of formal methods for the improvement of software and hardware in computer-based systems. The association's members are drawn from academia and industry. It is based in Europe, but is international in scope. FME operates under Dutch law.

<span class="mw-page-title-main">University of Potsdam</span> University in the German city of Potsdam

The University of Potsdam is a public university in Potsdam, capital of the state of Brandenburg, northeastern Germany.

<span class="mw-page-title-main">Bahçeşehir University</span> Private university in İstanbul, Turkey

Bahçeşehir University (BAU) is a private educational institution in Turkey, located around the Bosporus in Istanbul. The Turkish National Assembly authorized the establishment of the University of Bahçeşehir by the Bahçeşehir Uğur Education Foundation in 1998. An academic and strategic protocol was signed shortly after with San Diego State University in California, USA. The enrollment of the first students was made after the first placement exam (ÖSYS) in the 1999–2000 academic year. The university is one of the few universities in Turkey which has its lectures in English and therefore students applying to BAU are required to have high English proficiency.

Ekaterini Panagiotou Sycara is a Greek computer scientist. She is an Edward Fredkin Research Professor of Robotics in the Robotics Institute, School of Computer Science at Carnegie Mellon University internationally known for her research in artificial intelligence, particularly in the fields of negotiation, autonomous agents and multi-agent systems. She directs the Advanced Agent-Robotics Technology Lab at Robotics Institute, Carnegie Mellon University. She also serves as academic advisor for PhD students at both Robotics Institute and Tepper School of Business.

<span class="mw-page-title-main">Christoph Meinel</span> German computer scientist

Christoph Meinel is a German computer scientist and professor of Internet technologies and systems at the Hasso Plattner Institute (HPI) of the University of Potsdam. In the years 2004 to 2023 he was the scientific director and CEO of the HPI and has developed the openHPI learning platform with more than 1 million enrolled learners. In 2019, he was appointed to the New Internet IPv6 Hall of Fame.

<span class="mw-page-title-main">Mary Shaw (computer scientist)</span> American software engineer

Mary Shaw is an American software engineer, and the Alan J. Perlis Professor of Computer Science in the School of Computer Science at Carnegie Mellon University, known for her work in the field of software architecture.

Michael Gerard Hinchey is an Irish computer scientist and former Director of the Irish Software Engineering Research Centre (Lero), a multi-university research centre headquartered at the University of Limerick, Ireland. He now serves as Head of Department of the Department of Computer Science & Information Systems at University of Limerick.

Mehdi Jazayeri is the founding dean of the faculty of informatics of the Università della Svizzera italiana in Lugano, Switzerland, and author of several textbooks on computer software. He was awarded the Influential Educator Award in 2012 by the ACM SIGSOFT.

<span class="mw-page-title-main">Informatics Europe</span>

Informatics Europe is the European association uniting university departments, research labs and companies in the field of informatics.

Lero, the Science Foundation Ireland Research Centre for Software, Ireland, is a world-leading Science Foundation Ireland (SFI) research centre. It was established in 2005 as an SFI Centre for Science Engineering and Technology (CSET), being one of nine such centres established by the Irish Government in various areas of science and engineering.

Thomas W. Reps is an American computer scientist known for his contributions to automatic program analysis. Dr. Reps is Professor of Computer Science in the Computer Sciences Department of the University of Wisconsin–Madison, which he joined in 1985. Reps is the author or co-author of four books and more than one hundred seventy-five papers describing his research. His work has covered a wide variety of topics, including program slicing, data-flow analysis, pointer analysis, model checking, computer security, instrumentation, language-based program-development environments, the use of program profiling in software testing, software renovation, incremental algorithms, and attribute grammars.

Klaus Pohl is a German computer scientist and Professor for Software Systems Engineering at the University of Duisburg-Essen, mainly known for his work in Requirements Engineering and Software product line engineering.

Linda Ann Macaulay is the Emeritus Professor of System Design at the University of Manchester, specialising in Human–computer interaction, Requirements engineering and Service science, management and engineering.

Bashar Ahmad Nuseibeh, is a professor of computing at The Open University in the United Kingdom, a professor of software engineering at the University of Limerick in Ireland, and chief scientist of Lero, the Irish Software Research Centre. He is also an honorary professor at University College London (UCL) and the National Institute of Informatics (NII), Japan.

<span class="mw-page-title-main">Joost-Pieter Katoen</span> Dutch theoretical computer scientist

Joost-Pieter Katoen is a Dutch theoretical computer scientist based in Germany. He is distinguished professor in Computer Science and head of the Software Modeling and Verification Group at RWTH Aachen University. Furthermore, he is part-time associated to the Formal Methods & Tools group at the University of Twente.

Rajat Moona is the Director of Indian Institute of Technology Gandhinagar from 2022 onwards. He is also serving as Director of Indian Institute of Information Technology, Vadodara on Additional Charge Basis from May 2023 onwards. He has served as director at Indian Institute of Technology, Bhilai from 2017 to 2022. He was also a professor of Computer Science and Engineering at IIT Kanpur from 1991 to 2011 and Director General of Centre for Development of Advanced Computing from 2009 to 2017.

Lenore D. Zuck is an Israeli-American computer scientist whose research involves formal methods in software engineering, as well as information privacy. She is a research professor of computer science at the University of Illinois Chicago.

Mariëlle I. A. Stoelinga is a Dutch computer scientist based in the Netherlands. She is full professor of Risk Management for High Tech Systems in the Formal Methods & Tools Group at the University of Twente, Enschede, the Netherlands and holds a partial appointment as a full professor in the Software Science department at the Radboud University, Nijmegen. She is also director of Life Long Learning at the Faculty of Electrical Engineering, Mathematics and Computer Science, at the University of Twente.

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. ↑ "Präsidentin der Uni Lübeck abgewählt: Senat macht Zweitplatzierten zum neuen Präsidenten".
  9. ↑ FMICS Board on ERCIM Working Group on Formal Methods for Industrial Critical Systems, accessed 24 May 2023
  10. ↑ ETAPS Steering Committee, accessed 24 May 2023
  11. ↑ Working Group 10.5 Design and Engineering of Electronic Systems, accessed 24 May 2023
  12. ↑ Leadership Team Centre of research training AI, accessed 24 May 2023
  13. ↑ Society for Design and Process Science Fellows, accessed 24 May 2023
  14. ↑ The R@ise project homepage, accessed 24 May 2023
  15. ↑ Science Foundation Ireland News April, 4th 2023, accessed 24 May 2023
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.