PhD student in Computer Science at the University of Manchester
https://lmaltsis.github.io/

Formal Methods, Proof Assistants, Software Security

they/them