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.