Find Academic Supervisors

• Software Security
• Formal Verification
• String Analysis
• +5 more

Dr. Fang Yu is an Associate Professor at the Department of Management Information Systems, National Chengchi University, specializing in software security, formal verification, and string analysis. They hold a Ph.D. in Computer Science from the University of California, Santa Barbara. Research Expertise: Dr. Yu focuses on cybersecurity, formal methods for software verification, and machine learning applications in data clustering and adversarial example detection. Their work bridges theoretical computer science with practical security solutions. Publication Trends: Recent articles address biomedical data clustering ( scGHSOM ), explainable AI ( XFlag ), and adversarial defense mechanisms. Topics span bioinformatics, security verification, and fairness testing in neural networks. Awards: 資深優良教師(10年) (2020, National Chengchi University) 國科會研究獎勵 (2019, National Science Council, Taiwan) Projects: Principal Investigator for 15+ grants from Taiwan's National Science and Technology Council and Ministry of Education, focusing on AI security, IoT verification, and financial technology.

• Formal Methods in Software Engineering
• Programming Languages
• Neural Network Testing
• +6 more

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.