EnigmaWatch
Continuing the trend from the ProofWatch post, I’ll discuss some research casually (and perhaps less laypersony than before). The short workshop paper (semi-published) can be found... »
ProofWatch
I’ll discuss my first arxived research as a PhD student in language more fitting for a layperson. I’m glad to have had the opportunittty to collaborate... »