PhD student in Rust verification at ETH Zurich. Rust enthusiast, gamejammer, CTF player and author, occasionally drawing surrealist pictures.

https://www.thenet.sk/