I’m a fourth-year PhD student in the Computer Science Department at Carnegie Mellon University. I’m co-advised by Prof. Marijn J. H. Heule and Prof. Jeremy Avigad. My work focuses on the intersection of theorem proving… · cmu, computer, science, phd, carnegie