I’m currently in my senior year studying Computer Science at Binghamton University, where I’ve been working with William Hallahan on making symbolic execution faster by integrating less widely used features of SMT solvers. I will be starting a PhD at NYU with Evan Johnson in the fall of 2026.
In my spare time, I’m a big fan of climbing, hiking, and all sorts of puzzles.
My email is ryan [at] rur [dot] com.