Software

Below is a list of some software packages I have developed for fun, teaching and/or research.

Agda

Type Systems

Libraries

  • FuSe
    OCaml library of binary sessions featuring equi-recursive, polymorphic, context-free session types, delegation, subtyping, session type inference.

Miscellaneous

  • EmacsFiraCode
    Small Haskell program that automatically generates the Emacs composition table for the Fira Code font.

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