Chiao Hsieh

Chiao Hsieh is a Program-Specific Assistant Professor in the Computer Software Group at Kyoto University, Japan. Their research focuses on verification, cyber-physical systems, formal methods, and testing.

Chiao Hsieh's research interests include:

• Verification
• Cyber-Physical Systems
• Formal Methods
• Testing

Chiao Hsieh's publication record demonstrates expertise in developing verification techniques for complex systems. Their work spans from distributed robotics applications (Koord language framework) to safety contracts for machine learning systems, showing a consistent focus on applying formal methods to ensure system correctness in safety-critical domains. The research shows strong connections between programming languages theory and practical robotics/ML applications.

Chiao Hsieh has served on program committees for major conferences including:

• SPLASH 2026 (OOPSLA Review Committee)
• ATVA 2025 (Artifact Evaluation Committee)
• ECOOP 2022 (Extended Review Committee and Artifact Evaluation Committee)

These committee roles demonstrate recognition within the programming languages and formal methods research community.