Teaching
<Teaching assistant>
-
2026 Fall
- Problem Solving (문제해결기법) Head T.A. (lecturer) at KAIST
- Formal Languages and Automata (형식언어 및 오토마타) T.A. at KAIST
-
2025 Fall
- Problem Solving (문제해결기법) T.A. at KAIST
<Lecture materials>
Slides for CS.20002 Problem Solving at KAIST, Fall 2026. Materials are in Korean.
- 0주차 — 오리엔테이션, 문제 해결의 기초 도구 (2026-09-04 · PDF)
- 1주차 — 동적 계획법, HW0 풀이 (2026-09-11 · PDF)
The public orientation slides omit contact details and group enrollment instructions. Original slide numbering is preserved. Course announcements reflect the lecture date.