ISSAC 2025 (Poster): Heights of degeneracy loci

ISSAC 2024: Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations

JNCF 2024: Gröbner bases of maximal minors and critical point computations

On the arithmetic complexity of computing Gröbner bases of comaximal determinantal ideals

Optimized Gröbner basis algorithms for maximal determinantal ideals and critical point computations

YCG 23: Complexity aspects of Gröbner basis attacks on multivariate post-quantum cryptosystems

ISSAC 2023: Refined $F_5$ algorithms for ideals of minors of square matrices

SIAM AG 2023: Refined $F_5$ algorithms for ideals of minors of square matrices

JNCF 2023: Towards an $F_5$ algorithm for determinantal systems

Refined $F_5$ algorithms for ideals of minors of square matrices

A survey of mathematical structures for lunar networks