katriel cohn-gordon

Hi, I'm Katriel.

Academic   I study security protocols, particularly definitions and formal analysis (in the sense of formal mathematics, not that of formal methods). I am a DPhil student with the Oxford Cyber Security CDT, supervised by Cas Cremers.

Posts   I occasionally post long-form and short-form things, though currently both are on hiatus.

Internet   You can find me on many other websites. I used to spend a lot of time on Stack Overflow but these days it's Github if anything. The usual collection of profiles are where you'd expect them on Facebook, MetaFilter, and LinkedIn. I listen to music through Spotify and motivate myself with Beeminder.

Contact me via email.