← home

Hey, I'm Jake Ginesin! I'm a PhD student in computer science at Carnegie Mellon University, where I'm a member of the Principles of Programming Group and the Security and Privacy Group, and advised by Bryan Parno. I also audit cryptographic systems at Cure53, and occasionally independently at Late Night Specialists Group.

Previously, I completed my undergrad at Northeastern University, where I was a security researcher in the Network and Distributed Systems Security Lab advised by Cristina-Nita Rotaru. I majored in mathematics and computer science.

Links

I am generally uninterested in social media and do not post often on any.

Contact

Send mail to ginesin (at) cmu (dot) edu. Should you need it, my PGP key:

152C 6F70 C884 0695 54A4 C6AC 08FE 6265 ECA9 E96C

Computer Setup

I often get asked about my computing setup, so I created this section to link it whenever.

I have a highly configured NixOS setup on my x1 carbon. My configuration files (and pictures!) are located in this Github Repo, and my old Arch Linux configuration files are located in this archived Github Repo.

$ fastfetch --structure OS:Kernel:Shell:Editor
synchronous@rq
OS:              NixOS 25.05 (Warbler) x86_64 
KERNEL:          Linux 6.12.24
SHELL:           zsh 5.9
EDITOR:          Editor: nvim 0.11.0

Trivia



rage ← home