PhD in Computer Science at IMDEA software in Madrid.
Master's in Computer Science at the University of Trento.
Passionate about theoretical computer science, music and books.
Socials
- If you want to encrypt our correspondence here my public key: alessioblascovich.pgp
- GitHub
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's: "Conditional template for automated catamorphism synthesis"
Under the supervision of Marco Patrignani and Naoki Kobayashi
Currently Reading
| Title | Wool |
|---|---|
| Author | Hugh Howey |
| Year | 2012 |