Benjamin (Benjie) Valpey

Email: bvalpey [at] cs rochester edu

"A specialist learns more and more about less and less until he knows everything about nothing. A generalist learns less and less about more and more until he knows nothing about everything."


I hail from a far-north suburb of Chicago, and am a huge fan of the Midwest. I graduated from Drake University with degrees in Math, Computer Science, and Data Analytics. As an undergrad, I had the opportunity to take Theory of Computation directly followed by Computer Architecture in the next semester. This combination made me fall in love with the field after seeing the connections between the theoretical and the actual. When I am not spending time studying, I enjoy reading and discussing politics, economics, cooking, nutrition, and I also do some light gaming.
At Rochester, I am a systems PhD student advised by Sreepathi Pai. My thesis is about formal verification of GPU binaries.