Algebra

• Group Theory
• Finite Fields
• Commutative Algebra
• Algebraic Geometry

Matroid Theory

• Greedy Algorithms
• Optimization using Matroids
• Algorithm Design using Matroids
• Various Unsolved Problems

Cryptography

Coding Theory

• Algebraic Geometric Codes
• Quantum Error Correction

Automated Proof Assistance

• LEAN Theorem Prover