Log inSign up
user avatar
Gerwin Klein
@lsf37
proves stuff about seL4, systems code, programming languages, security. Classical logician. Chief Scientist & Co-Founder at Proofcraft. @[email protected]
Sydney
doclsf.de
Joined May 2014
0
Following
562
Followers
RepliesMedia