جستجوی استاد راهنمای دانشگاهی

Jieh Hsiang is a Distinguished Professor at National Taiwan University , with affiliations in the Department of Computer Science and Information Engineering, the Digital Archives and Automatic Inference Laboratory, and the Digital Humanities Research Center. He holds concurrent roles at the Institute of Information Science, Academia Sinica, and the Higher Education Research & Development Office, National Taiwan University. Education PhD in Computer Science, University of Illinois at Urbana-Champaign (1979–1982) BS in Mathematics, National Taiwan University (1972–1976) Research Interests Hsiang's work spans automated reasoning , digital libraries , digital humanities , and information retrieval . His research focuses on integrating computational methods with cultural heritage preservation , particularly through tools like DocuSky and databases such as the Taiwan Historical Digital Library . He explores AI applications in patent analysis , historical text mining , and semantic relationships in legal documents . Recent Trends in Publications His recent articles highlight advancements in BERT and GPT-2 fine-tuning for patent classification , LARGE language models for legal automation , and GIS-based analysis of historical archives . Themes include digital preservation , AI-driven legal text analysis , and cross-disciplinary computational tools for humanities scholars. Scientific Awards 2019 Ministry of Science and Technology Distinguished Research Fellow 2009 National Taiwan University Outstanding In-House Service Award 2008 Chinese Library Association Special Contribution Award 2006 IEEE Test-of-Time Award 1997 & 1999 National Science Council Outstanding Research Award 1997 Ministry of Education Outstanding Industrial-Academic Collaboration Award 1998–2001 Founder and First Chair of IFIP WG1.6 Labs and Collaborations Hsiang leads the Digital Archive and Automatic Inference Laboratory , developing platforms like DocuSky for digital humanities, Taiwan Historical Digital Library , and QGIS Cloud Maps for spatial analysis. His team collaborates internationally on projects involving historical document digitization , patent automation , and cross-domain knowledge integration .

• Automated Reasoning
• Programming Language Logic
• Artificial Intelligence
• +۵ مورد دیگر

Dr. Yu Fang is an Associate Professor in the Department of Information Management at National Chengchi University's College of Business in Taipei, Taiwan. With a strong academic foundation from National Taiwan University (BS and MS) and a PhD in Computer Science from the University of California, Santa Barbara, Dr. Fang has established herself as a prominent researcher in software security and formal methods, with recent expansion into AI security domains. PhD in Computer Science, University of California, Santa Barbara (2005-2010) MS in Information Management, National Taiwan University (1998-2000) BS in Information Management, National Taiwan University (1994-1998) Dr. Fang's research spans software security, formal verification, and string analysis, with significant contributions to vulnerability detection in web applications, static analysis of mobile applications, and more recently, security and testing of neural networks. Her work bridges theoretical formal methods with practical security applications, particularly in the context of modern software systems and AI technologies. The evolution of her research shows a clear trajectory from traditional software security toward addressing emerging challenges in AI security, including adversarial examples, deepfake detection, and fairness verification in machine learning models. Analysis of Dr. Fang's recent publications reveals a strategic expansion of her research focus. While maintaining her strong foundation in software security and formal methods, she has successfully transitioned into the rapidly evolving field of AI security. Her work now addresses critical challenges such as adversarial example detection using explainability methods (DeepSHAP), concolic testing for neural network fairness verification, and defenses against deepfake attacks. This represents a natural progression from her earlier work on string analysis and vulnerability detection in traditional software systems. Senior Excellent Teacher (10 years) award from National Chengchi University National Science Council (now Ministry of Science and Technology) Research Award Dr. Fang has secured substantial research funding, particularly from Taiwan's Ministry of Science and Technology, with current projects focusing on neural network automated testing and AI security. Her research group maintains active collaborations with both academic and industry partners, particularly in the financial technology sector where security and regulatory compliance are paramount. While specific lab affiliations aren't explicitly mentioned in the provided information, her research profile suggests strong connections to the Software Security Laboratory within the Department of Information Management.

• Software security
• Formal verification
• String analysis
• +۳ مورد دیگر

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.

• Software Security
• Formal Verification
• String Analysis
• +۵ مورد دیگر

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.

• Formal Methods in Software Engineering
• Programming Languages
• Neural Network Testing
• +۶ مورد دیگر