2024 Fall

• Principles of Programming (4190.210)

2024 Spring

• Software Formal Verification (M1522.007300)
• Principles and Practices of Software Development (M1522.000100)

2023 Fall

• Principles of Programming (4190.210)

2023 Spring

• Topics in New Computer Technology (M1522.001200)
• Principles and Practices of Software Development (M1522.000100)

2022 Fall

• Principles of Programming (4190.210)

2022 Spring

• Principles and Practices of Software Development (M1522.000100)

2021 Spring

• Principles and Practices of Software Development (M1522.000100)

2020 Fall

• Principles of Programming (4190.210)
• Topics in New Computer Technology (M1522.001200)

2020 Spring

• Principles and Practices of Software Development (M1522.000100)

2019 Fall

• Principles of Programming (4190.210)
• Advanced Programming Languages: Software Foundations (4190.574)

2019 Spring

• Principles and Practices of Software Development (M1522.000100)

2018 Fall

• Principles of Programming (4190.210)
• Topics in New Computer Technology (M1522.001200)

2018 Spring

• Principles and Practices of Software Development (M1522.000100)

2017 Spring

• Principles and Practices of Software Development (M1522.000100)
• Principles of Programming (4190.210)

2016 Fall

• Programming Language (4190.310)
• Principles of Programming (4190.210)

2016 Spring

• Programming Language (4190.310)

2015 Fall

• Principles and Practices of Software Development (M1522.000100)
• Principles of Programming (4190.210)

2015 Spring

• Programming Language (4190.310)

2014 Fall

• Advanced Programming Languages: Software Foundations (4190.574)
• Principles of Programming (4190.210)

2014 Spring

• 컴퓨터의 개념 및 실습 (035.001)

2013 Fall

• Automata Theory (4190.306)