About

Hi there! I am Stefano (he/him), a PhD student working on the foundations of programming languages at the ACP section of the University of Southern Denmark. My supervisor is Stelios Tsampas. Here is my curriculum vitae.

Please pronounce my name however you feel. If you need inspiration, here is how I do it: [ˈstɛfano ‘vɔl.pɛ].

Interests

  • type theory
  • programming languages (theory and semantics)
  • category theory
  • logic
  • non-automatic deductive software verification
  • formalized mathematics
  • pure functional programming
  • constructive mathematics
  • games
  • mathematical practice vs. software architecture

When not at my university, I play board games and practice pole dance.

Manifesto

While material resources may be limited on this planet, information can be shared for free nowadays. The more people can access a valuable piece of information, the more people verify its value and build upon it. This applies to, for instance:

and much more. In my assessment, cooperation is necessary for us to take care of each other on a global scale. Tech Giants apparently have different idols, such as individualism, trade secrecy, junk science, opacity, monopoly, dark patterns, Orwellian user tracking, economic bubbles, misinformation, political propaganda, tax dodges, social inequality, exploitation of the global South, consumerism, and social hypocrisy. As a student, a software user, and a citizen, I keep my affiliation with their “products” to a minimum.