This post contains 18+ content. You can view it if you're over 18.
CS PhD student at Heinrich-Heine-University. Interested in Formal Methods, Programming languages, specifications. Slowest possible person. Hopeless optimist. Uniquely unhinged.
Guard up, Heart open.
🏳️⚧️