Elvinia Riccobene Interview

Elvinia Riccobene is an Associate Professor in Computer Science at the Dipartimento di Informatica sede di Crema of the Università degli Studi di Milano.

Her main research interests are: Formal methods and their application to the Software Engineering Formal verification, Model-Driven Development and Analysis (validation and verification) of Systems, Integration of Formal Methods and Model Driven Engineering, Modelling Service-Oriented Applications and Adaptive Systems, Abstract State Machines (ASM) Formal Method.