I'm a master student interested in formal verification, programming languages, and post-quantum cryptography. I'm planning to do a PhD - probably combining one or two of these subjects, though nothing is definite yet.
I also love mountains and enjoy climbing there. Or hiking. Or mountaineering. Or just be there.
Check out my blog where I sometimes post about these topics.