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]

Talks

• A talk on my work formalizing the Brouwer Fixed Point theorem at BIRS 23w5124 Slides

• A talk on what formal verification is written for a student seminar Slides

• WIP Notes for a talk I’m giving on simplicial sets & the quillen model structure in a seminar Notes