No courses found for current semester.
| Course Number | Course Name | Lecturer Name | Details | Semester |
|---|---|---|---|---|
| 236124 | Project in selected topics in formal proofs | FULL SUPPORT | Winter 2026-2027 | |
| 236602 | Advanced Topics in Computer Science 2 | FULL SUPPORT | Winter 2026-2027 | |
| 236765 | Planning and Reinforcement Learning in A | FULL SUPPORT | Winter 2026-2027 | |
| 236767 | Algorithmic Robot Motion Planning | FULL SUPPORT | Winter 2026-2027 | |
| 236770 | AI and Robotics | FULL SUPPORT | Winter 2026-2027 | |
| 236833 | Seminar in Automata and Formal Languages | FULL SUPPORT | Winter 2026-2027 |