Return to the main page
List of courses
2023 – 2024 Spring: Topics on Lean (discussion course) 16h .
2023 – 2024 Spring: Algebraic number theory (graduate course on local field, joint with Peng Yu) 51h.
2023 – 2024 Autumn: Algebraic number theory (undergraduate course) 51h.
2023 – 2024 Autumn: Modular forms (graduate course) 51h.
2023 – 2024 Autumn: Algebraic geometry (undergraduate course joint with Peng Yu) 51h.
2023 – 2024 Autumn: Topics on algebras (undergraduate) 51h.