I’m a first year PhD student at New York University, advised by Evan Johnson. I am broadly interested in the intersection of formal methods / verification and systems programming.
I have a bachelor’s degree in computer science from Binghamton University, where I worked with William Hallahan on mitigating path explosion in symbolic execution using various capabilities of SMT solvers.
In my free time, I’m a big fan of climbing, hiking, and all sorts of puzzles.
My email is
(\x -> x ++ map succ "?qtq-bnl") "ryan".