Editorial and Community

ItaCa

ItaCa is the italian community of category theorists. I serve both in the Scientific Committee of the ItaCa Fest and in the Promoting Committee.

The Sigplan-M

The SIGPLAN-M is a long-term mentoring program for programming languages researchers. The program helps aspiring or junior researchers to form long-term connections in the programming languages community. I serve as a mentor. I have three mentees.