Currently @
MIT Lincoln Laboratory

Previously @

• Brown University
• Budapest Semesters in Mathematics
• Los Alamos National Laboratory

Reach me via

• jackcheng2002@gmail.com

I’m interested in cryptography, formal methods, and computer systems.