Doctoral student @ethzurich.bsky.social #formalmethods #infosec Fan of games, technology and science. Obsessed with programming. In love with everything cyberpunk. From 🇪🇸 living in 🇨🇭 (posts in EN, ES)