Matt Superdock joins the Department of Mathematics and Computer Science as a visiting assistant professor. Dr. Superdock received a Ph.D. in Algorithms, Combinatorics, and Optimization from Carnegie Mellon University in 2021. His research interests include topological combinatorics, dependently typed programming languages, and interactive theorem proving.
Education
Ph.D. Carnegie Mellon University
