Alessandra Cavarra

Alessandra Cavarra is a University Lecturer in Software Engineering at the University of Oxford, holding roles as Director of Graduate Studies for Professional Programmes and Supernumerary Fellow at Kellogg College. She earned her MSc and PhD in Computer Science from the University of Catania (Italy), with research periods at U.S. and German institutions. Her research focuses on formal methods, UML behavioral diagrams, model-based testing, and integrating formal/semi-formal languages. She teaches postgraduate courses in Object-Oriented Design and Software Testing.

Research interests include formal semantics for UML diagrams, tool development for symbolic execution and test case generation, and abstract state machines (ASMs). Her work bridges software engineering theory and practice, emphasizing rigorous methods for system validation.

Publications span model-based testing, UML formalization, and concurrency analysis. Key areas include data-flow approaches for multi-agent systems, workflow testing, and formal verification of software models. Recent work addresses challenges in concurrent workflows and abstract state machine analysis.

No scientific awards were explicitly mentioned. She has advised at least one student, Aadya Shukla, and contributes to academic service roles. No lab or team affiliations are detailed in the provided information.