@jakeg
Researcher in formal verification
$0 in pending offers
PhD student in formal verification, cryptographic auditor