×
You are not logged in
Bluesky Profile
Lu Maltsis
Registered: 21 Jun 2025 19:28
Last post: 13 Dec 2025 22:01
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/@lmal...
they/them
This account allows followers on Bluesky to be notified of new posts from this account.
| lmaltsis.bsky.social PDS: cortinarius.us-west.host.bsky.network 2025-06-21 19:28:45 |