We are excited to announce the courses offered in Spring 2025:

• Programming Languages (프로그래밍 언어) - Fundamentals of programming language design and implementation
• Reliable and Trustworthy AI (신뢰할수있는인공지능) - Building AI systems with formal verification and safety guarantees

We look forward to having an engaging semester with our students!