Hi there 👋

I'm a Ph.D. student in Computer Science and Engineering @ University of Bologna.

• ⚒️ Currently working on:

  • FunLess (also here), a FaaS platform written in Elixir and based on WebAssembly.
  • A (very) simple system monitor written in Go with an associated web-based GUI.

• 🌱 Currently learning:

  • π-calculus.
  • Session types (formalism and implementations).
  • Reverse-engineering old videogames (emphasis on learning).

• 🔭 Currently researching:

  • Configuration languages for serverless platforms.
  • Scheduling optimization in serverless platforms.