Teaching

Under-graudate Classes:

• [2024 Autumn] Compiler Principles

• [2024 Spring] Compiler Principles

• [2024 Spring] Software Testing and Verification

• [2023 Spring] Software Testing and Verification

• [2023 Spring] Software Qulity Assurance

• [2022 Spring] Software Testing and Verification

• [2022 Spring] Software Qulity Assurance

• [2021 Spring] Software Testing and Verification

• [2021 Spring] Software Qulity Assurance

• [2020 Spring] Computer Programming

• [2020 Spring] Software Qulity Assurance

• [2018 Spring] Computer Programming

• [2017 Spring] Computer Programming

• [2016 Autumn] Computer Programming

• [2016 Spring] Computer Programming

• [2015 Autumn] Computer Basis

• [2015 Spring] Computer Programming

Graudate Classes:

• [2024 Autumn] Practice of Software Analysis

• [2024 Autumn] Fundamentals of Software Analysis

• [2023 Autumn] Practice of Software Analysis

• [2023 Autumn] Fundamentals of Software Analysis

• [2022 Autumn] Practice of Software Analysis

• [2022 Autumn] Fundamentals of Software Analysis

• [2021 Autumn] Fundamentals of Software Analysis

• [2020 Autumn] Software Reliability and Testing

• [2018 Autumn] Software Reliability and Testing

Others: