[she/her]
PhD student in Rust verification at ETH Zurich. Haxe enthusiast, gamejammer, CTF player and author.