Lu Maltsis :3c
PhD student in Computer Science at the University of Manchester
https://lmaltsis.github.io/
Formal Methods, Proof Assistants, Software Security
they/them
- Posts
- 90
- Followers
- 28
- Following
- 92
- We haven't indexed any public posts from this account yet.