Definition
Tiziana Margaria is an Italian computer scientist renowned for her contributions to formal methods, model‑driven engineering, and software verification. She holds a professorship in Computer Science at the University of Udine, Italy.
Overview
Margaria earned her doctoral degree in Computer Science from the University of Pisa. Her academic career includes positions at the University of L'Aquila and the University of Salerno before joining the University of Udine, where she leads the “Formal Methods and Software Engineering” research group. Her research focuses on the development of mathematically rigorous techniques for the specification, analysis, and verification of software systems, with particular emphasis on model‑driven development, component‑based software engineering, and graph transformation.
She has co‑authored several influential publications, including the textbook Model‑Driven Software Development: A Formal Approach (Springer, 2005), and has contributed to conference proceedings such as the International Conference on Software Engineering (ICSE) and the International Conference on Formal Methods (FM). Margaria serves on the editorial boards of journals like Software & Systems Modeling and Formal Aspects of Computing, and she is an active member of the International Federation for Information Processing (IFIP) Working Group 1.8 on Software Theory and Practice.
Etymology/Origin
The given name “Tiziana” is of Italian origin, derived from the Latin Titius and historically associated with the Roman family name Titius. “Margaria” is an Italian surname, likely originating from a regional family name in the central or southern parts of Italy; specific etymological details for the surname are not widely documented.
Characteristics
- Research Areas: Formal specification languages (e.g., Z, Alloy), model‑driven architecture, graph transformation, component and connector models, software product lines.
- Methodological Approach: Emphasizes mathematically based abstraction techniques to ensure correctness properties of software artifacts throughout the development lifecycle.
- Academic Contributions: Supervises doctoral and master’s theses, organizes workshops on formal methods, and participates in European research projects funded by the EU Horizon programmes.
- Professional Service: Member of steering committees for major conferences (e.g., FM, MODELS), reviewer for international journals, and contributor to standards development in formal methods.
Related Topics
- Formal Methods
- Model‑Driven Engineering (MDE)
- Software Verification and Validation
- Graph Transformation Systems
- Component‑Based Software Engineering
- IFIP Working Group 1.8 (Software Theory and Practice)