• she/her

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.

🏳️‍⚧️

💖 @fullmoon


Bluesky:
@wiredaemon.bsky.social
Twitter:
@Wire_Daemon