PhD Student, Mathematics, University of Utah bsmurphy@math.utah.edu

# Bio

I am a PhD student at the University of Utah working with Professor Srikanth Iyengar. I graduated from the University of Washington in Spring 2022 with a BS in Computer Science & Mathematics. I’m broadly interested in commutative algebra, homotopy theory, logic, and formal verification.

# Papers

- Shumo Chu,
**Brendan Murphy**, Jared Roesch, Alvin Cheung, Dan Suciu, Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries. arXiv:1802.02229 [cs.DB]