2020 Spring : Herbrand-Ribet theorem and the Iwasawa main conjecture

2022 Fall : Class Field Theory

2025 Fall: Introduction to Fermat's last theorem