Projects

About Me

I'm an associate professor in Computer Science at the Computer Science Division of the School of Science and Technology of the University of Camerino. ¶ My research interests span both theory and practice in the areas of programming languages, type systems, concurrency theory, distributed computing and formal verification.

Contact Information

Public Profiles