Return to the main page

List of courses

2024 – 2025 Autumn: Practice course on Lean Game (Rubik Game), 17h.
2024 – 2025 Autumn: Finite field and its applications (graduate course, joint with Peng Yu) 51h.
2024 – 2025 Autumn: Elementary number theory (graduate course, joint with Peng Yu) 51h.
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.