User:Planetwrench

I am a PhD student in formal methods and web security, so I will mostly edit pages related to adjacent topics. My name is randomly generated and disposable because I want to avoid the idea that I am "building my brand", which I think is a despicable way to live your life.

I'm from the government. I'm here to help.