Jake Ginesin
@JakeGinesin@mathstodon.xyz
Joined: 30/12/2025
About Jake Ginesin
Formal methods PhD student @ CMU, cryptographic auditing @ Cure53
Security, verification, cryptography, applied mathematics, nix, rust
Lists
JakeGinesin has no public lists
Timeline
JakeGinesin has no activity yet