معرفی
Chih-Duo Hong is an Assistant Professor at the Department of Management Information Systems, College of Business, National Chengchi University, holding this position since February 2023. He earned his Ph.D. in Computer Science from University of Oxford (2017-2022).
- Research Focus: Formal methods, automated reasoning, neural network testing, and software security
- Grants: Principal Investigator for multiple National Science and Technology Council projects on data transformation systems (2023-2026)
His work spans parameterized verification, probabilistic systems, and neural network fairness, with publications in journals like IEEE Transactions on Software Engineering and ACM TOPLAS. He contributes to concolic testing, array systems abstraction, and constraint-based software optimization.
- Recent Topics:
- Formal verification of anonymity/uniformity in probabilistic systems
- Individual fairness testing for neural networks
- Regular abstractions for array constraints
Collaborations include institutions like University of Oxford, National Chengchi University, and research partners Anthony Lin, Philipp Rümmer, Fang Yu.
۰مقاله منتشرشده
