- 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.
🏳️⚧️
Bluesky:
@wiredaemon.bsky.social
Twitter:
@Wire_Daemon
