Both Bachelor's and Master's in Computer Science at the University of Trento.
An 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
- Bachelor: "Using Secure Boot and TPM 2.0 in thin clients"
- Master: "TBD"