Teaching

At Augusta:

• AIST 3610: System Analysis & Design, Spring, 2024
• AIST 3610: System Analysis & Design, Fall, 2023
• AIST 3610: System Analysis & Design, Spring, 2023

At Purdue:

• CS 352: Compilers: Principles and Practice Spring, 2020 (co-lecture)

At HKUST:

• COMP6613C: Topics in Computer Security and Privacy, Spring, 2021 (guest-lecture)

  Topics on Using Formal Methods to Detect Security Vulnerabilities