I'm a Ph.D. student in Computer Science and Engineering @ University of Bologna.
-
⚒️ Currently working on:
-
🌱 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.