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.
-
ItaCa website. 2019 - ongoing.
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.
-
SIGPLAN-M website. 2021 - ongoing.
The Scandinavian Logic Society
The Scandinavian Logic Society is a member of The Division of Logic, Methodology and Philosophy of Science of The International Union of History and Philosophy of Science. The Society wishes to construe the concept of logic as broadly as possible, including the fields computer science, philosophy, mathematics and linguistics. I am a member of the Society.
-
Website. 2024 - ongoing.