Regular biography
Alessandra Cavarra is an Associate Professor of Computer Science at the University of Oxford, Department of Computer Science. She holds the title of Director of Graduates Studies for Professional Programmes and is a Supernumerary Fellow of Kellogg College. Her research interests include formal methods, model-based testing, and the integration of formal and semi-formal languages. She has contributed to the development of formal semantics for UML behavioral diagrams and tools for symbolic execution and test case generation. Cavarra teaches post-graduate courses in Object Oriented Design and Software Testing. She obtained her MSc and PhD in Computer Science from the University of Catania, Italy, and has worked as a research fellow in the EU-funded project AGEDIS.