Associate Professor in the Department of Combinatorics and Optimization at the University of Waterloo, Canada
Currently serving as Associate Chair for Undergraduate Studies in Combinatorics and Optimization
Research interests include structural and extremal matroid theory, graph theory, and their connections to coding theory, additive combinatorics, and finite geometry
Particularly focused on minor-closed classes and the structure of binary matroids under submatroid and induced submatroid orders
Recently interested in proof formalization in LEAN