Jake Ginesin

JakeGinesin@mathstodon.xyz

<p>Formal methods PhD student @ CMU, cryptographic auditing @ Cure53<br />Security, verification, cryptography, applied mathematics, nix, rust</p>