Alessandra Cavarra

Resume

Since October 1st 2003, I am a University Lecturer in Software Engineering and Continuing Education. I am also a Fellow of Kellogg College.

I moved to Oxford in January 2001 to work as a post-doc in a EU funded project called AGEDIS (Automated Generation and Execution of Test Suites for DIstributed Component-based Software ).

Research interests

My research interests are primarily in the areas of model-based software engineering, formal methods--in particular Gurevich's Abstract State Machines (ASMs)--, the Unified Modeling Language (UML), and the integration of semi-formal and formal approaches for the specification, validation and verification of software systems. Recently, I have also been involved in the e-Science area. I am one of the investigators of the GIMI (Generic Infrastructure for Medical Informatics) project.

Since 2003, I am on the Programme Committee of MoDELS/UML, the International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences).

I was co-chair of the "Track on Software Engineering: Methods, Practices and Tools'' of the Annual ACM Symposium on Applied Computing (SAC05), Santa Fe (USA), March 2005. (Vol.2, pp.1454--, ACM ISBN 1-58113-964-0).

I am also an editor for the Journal Software and System Modeling (SoSyM) published by Springer.

Publications

A list of recent publications is here.

Teaching

I teach the Object Oriented Design (OOD) and Software Testing (STE) courses as part of the Software Engineering Programme.

Contact

Contact details can be found from my personnel page.