Studying University of Rochester pursuing a PhD in CS, focusing on Compiler Verification. Graduated with Math, CS, & Data Analytics majors at Drake University