Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs
Type
Publication
E-Graph Research, Applications, Practices, and Human-factors (EGRAPHS)
Robert Rand
Assistant Professor of Computer Science
My main interest is in applying techniques from programming languages and formal verification to the domain of quantum computation.