Miguel Quaresma | Ph.D researcher in high performance, formally verified cryptography. Endurance athlete focusing on trail running, cycling and triathlons.