Lu Maltsis
@lmaltsis@infosec.exchange
Joined: 06/26/2025
About Lu Maltsis
Formal Methods, Proof Assistants, Software Security
they/them
Lists
lmaltsis has no public lists
Timeline
lmaltsis has no activity yet
@lmaltsis@infosec.exchange
Joined: 06/26/2025
Formal Methods, Proof Assistants, Software Security
they/them
lmaltsis has no public lists
lmaltsis has no activity yet