Gerwin Klein
@lsf37@mstdn.social
Joined: 12/02/2022
About Gerwin Klein
proves stuff about seL4, systems code, programming languages, security. Classical logician. Not the dependent type. Chief Scientist & Co-Founder at Proofcraft.
Lists
lsf37 has no public lists
Timeline
lsf37 has no activity yet