Welcome to my Website!

Hello! I'm Tristan Bishop (they/them), a computer science master's student at the State University of New York (SUNY) New Paltz. I'm interested in formal verification (shape analysis, model checking, and proof assistants), cryptography (leakage resilience and cryptanalysis), and the intersection of the two. In this website you'll find a collection of my finished projects and current projects.

Additionally, you can download a copy of my CV (PDF).