PhD student in Computer Science at the University of Manchester https://lmaltsis.github.io/ Formal Methods, Proof Assistants, Software Security Follow me on Mastodon: https://infosec.exchange/@lmaltsis they/them
Nothing here yet.
PhD student in Computer Science at the University of Manchester https://lmaltsis.github.io/ Formal Methods, Proof Assistants, Software Security Follow me on Mastodon: https://infosec.exchange/@lmaltsis they/them
Nothing here yet.