Contact information
Francesco De Angelis
Department of Mathematics and Computer Science
University of Camerino
Via Madonna della Carceri, 9
62032, Camerino (MC), Italy
Email: francesco.deangelis[AT]unicam.it
Web: http://unicam.it/~francesco.deangelis
Current Position
I am a research associate at the Department of Mathematics and Computer Science in the University of Camerino. From 2004 I am a member of the research group coordinated by Prof. Flavio Corradini. My research interests are in the field of Software Engineering, Service-Oriented Computing, and application of formal methods to the analysis, specification and property verification of global computing applications.
I received a PhD in “Computer Science and Complex Systems” from the University of Camerino in 2009. For my PhD dissertation, I make research about web service orchestrations and verification of web services compositions. Since the academic year 2006-2007 I am also involved in didactic activities.
Interests
- Software Engineering
- Service Oriented Computing
- Formal methods for the analysis, specification and property verification of global computing applications
