Matt Superdock

Matt Superdock

Visiting Assistant Professor

Visit Dr. Superdock's homepage

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