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