教师
黄文超
计算机科学与技术学院
计算机科学与技术学院 副教授
现代密码学理论与实践
Modern Cryptography
COMP6111P.01
2026年秋季学期 3 学分
形式化方法导引
A Guide to Formal Methods
CS4005.03
2026年春季学期 3 学分
形式语言与计算复杂性
Formal Languages and Computational Complexity
COMP6106P.01
2026年春季学期 2 学分
现代密码学理论与实践
Modern Cryptography
COMP6111P.01
2025年秋季学期 3 学分
形式化方法导引
A Guide to Formal Methods
CS4005.01
2025年春季学期 3 学分
形式语言与计算复杂性
Formal Languages and Computational Complexity
COMP6106P.01
2025年春季学期 2 学分
现代密码学理论与实践
Modern Cryptography
COMP6111P.01
2024年秋季学期 3 学分
形式化方法导引
A Guide to Formal Methods
CS4005.01
2024年春季学期 3 学分
形式语言与计算复杂性
Formal Languages and Computational Complexity
COMP6106P.01
2024年春季学期 2 学分
现代密码学理论与实践
Modern Cryptography
COMP6111P.01
2023年秋季学期 3 学分
形式化方法导引
A Guide to Formal Methods
CS4005.01
2023年春季学期 3 学分
形式语言与计算复杂性
Formal Languages and Computational Complexity
COMP6106P.01
2023年春季学期 2 学分
现代密码学理论与实践
Modern Cryptography
COMP6111P.01
2022年秋季学期 3 学分
形式化方法导引
A Guide to Formal Methods
CS4005.01
2022年春季学期 3 学分
形式语言与计算复杂性
Formal Languages and Computational Complexity
COMP6106P.01
2022年春季学期 2 学分
现代密码学理论与实践
Modern Cryptography
COMP6111P.01
2021年秋季学期 3 学分
形式化方法导引
A Guide to Formal Methods
CS4005.01
2021年春季学期 3 学分
形式语言与计算复杂性
Formal Languages and Computational Complexity
COMP6106P.01
2021年春季学期 2 学分