About Lu Maltsis :blobcat3c:

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

Formal Methods, Proof Assistants, Software Security

they/them

Lists

Timeline

lmaltsis has no activity yet