Title: Enrico Magnago Personal Website
Description: Enrico Magnago Personal Website
Domain: enmag.github.io
| author | Enrico Magnago |
Links:
| Enrico Magnago | https://enmag.github.io |
| About me(current) | https://enmag.github.io/index.html |
| Publications | https://enmag.github.io/publications.html |
| Teaching | https://enmag.github.io/teaching.html |
| Interests | https://enmag.github.io/interests.html |
| Other | https://enmag.github.io/other.html |
| Amazon Web Services | https://en.wikipedia.org/wiki/Amazon_Web_Services |
| Simple Storage Service (S3) | https://aws.amazon.com/s3/ |
| PhD thesis | https://enmag.github.io/phd_thesis.pdf |
| slides | https://enmag.github.io/phd_slides.pdf |
| master thesis | https://enmag.github.io/master_thesis.pdf |
| NuSMV | http://nusmv.fbk.eu/ |
| nuXmv | https://es-static.fbk.eu/tools/nuxmv/ |
| pySMT | https://github.com/pysmt/pysmt |
| curriculum vitae | https://enmag.github.io/curriculum_vitae.pdf |
| master degree | https://enmag.github.io/master_degree_exams.pdf |
| bachelor | https://enmag.github.io/bachelor_degree_exams.pdf |
| PGP public key | https://enmag.github.io/public_pgp_key.asc |
Viewport: width=device-width, initial-scale=1