School of Science and Technology - Computer Science Division
University of Camerino
Italy Research topics: Main topics of such researches are:
- study of process calculi and their semantics for modelling qualitative and quantitative aspects of large scaled systems;
- definition of formal tools, like modal logics, for specifying and verifying properties of mobile and distribued systems;
- development of tools for supporting the (semi-)automatic analysis concurrent and distributed systems;
- definition of core languages, which are equipped with primitives inspired by process calculi, for programming distributed applications;
- development of frameworks for supporting the development of runtime environments for programming languages based on process algebras.
(updated at 2021-04-06)
http://www.micheleloreti.com/