Both Bachelor's and Master's in Computer Science at the University of Trento.
Former exchange researcher and student at the Kobayashi Laboratory.
Passionate about theoretical computer science, music and books.
Socials
- email: blasovi [at] outlook [dot] it
- If you want to encrypt our correspondence here my public key: alessioblascovich.pgp
- https://github.com/elblasco
Projects
- Currently working on:
- Catalia a CHC solver that supports Algebraic DataTypes;
- Previously worked on:
- A simulation of Vienna metro system;
- Q-top a fault-tollerant sequentially ordered broadcast protocol.
Theses
- Master: "Conditional template for automated catamorphism synthesis"
- Bachelor: "Using Secure Boot and TPM 2.0 in thin clients"