Hsieh, Chiao(Graduate School of Informatics, Department of Informatics) | Activity Database on Education and Research, Kyoto University

Hsieh, Chiao

Graduate School of Informatics, Department of Informatics Program-Specific Assistant Professor

Last Updated :2025/04/28

Basic Information

Email Address

Email Address
hsieh.chiao.7kkyoto-u.ac.jp

Academic Degree

13 Jun. 2015
M.S.(National Taiwan University）

13 May 2023
Ph.D.(University of Illinois at Urbana-Champaign）

Academic Resume (Undergraduate School/Majors)

National Taiwan University, Department of Electrical Engineering, 卒業

Research History

From Jan. 2025, To Present
Kyoto University, Graduate School of Informatics Department of Communications and Computer Engineering, Program-Specific Assistant Professor

From Aug. 2023, To Dec. 2024
Kyoto University, Graduate School of Informatics Department of Communications and Computer Engineering, Program-Specific Researcher

From Aug. 2018, To May 2023
University of Illinois Urbana-Champaign, Coordinated Science Laboratory, Graduate Research Assistant

From Aug. 2017, To May 2018
University of Illinois Urbana-Champaign, Department of Computer Science, Teaching Assistant

From Aug. 2015, To Dec. 2016
University of Illinois Urbana-Champaign, Department of Computer Science, Research Assistant

From May 2016, To Aug. 2016
IBM Research, IBM Thomas J. Watson Research Center, Research Intern

From Oct. 2013, To Jul. 2015
Academia Sinica, Institute of Information Science, Research Assistant

From Aug. 2012, To Aug. 2013
Academia Sinica, Institute of Information Science, Research Assistant

ID,URL

ORCID ID
0000-0001-8339-9915
J-Global ID
202301016563137543
Researcher number
71006426
External link
https://hc825b.github.io

researchmap URL

https://researchmap.jp/hc825b

Last Updated :2025/04/28

Research

Research Interests

Software Verification

Cyber-Physical System

Software Testing

Formal Verification

Formal Methods

Hybrid System

Model Checking

Research Areas

Informatics, Software, Software Engineering, Formal Methods, Programming Languages

Papers

GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems
Keyur Joshi; Chiao Hsieh; Sayan Mitra; Sasa Misailovic
2024 IEEE 35th International Symposium on Software Reliability Engineering (ISSRE), 28 Oct. 2024, Peer-reviewed

Assuring Safety of Vision-Based Swarm Formation Control
Chiao Hsieh; Yubin Koh; Yangge Li; Sayan Mitra
2024 American Control Conference (ACC), 10 Jul. 2024, Peer-reviewed, Lead author, Corresponding author

Abstractions for Safety Assurance of Autonomous Systems
Chiao Hsieh
28 Apr. 2023, Lead author

Verifying Recursive Program via Source-to-Source Program Transformation
Chiao Hsieh
01 Jan. 2015, Lead author

Perception Contracts for Safety of ML-Enabled Systems
Angello Astorga; Chiao Hsieh; P. Madhusudan; Sayan Mitra
Proceedings of the ACM on Programming Languages, 16 Oct. 2023, Peer-reviewed, Lead author

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions
Chiao Hsieh; Yangge Li; Dawei Sun; Keyur Joshi; Sasa Misailovic; Sayan Mitra
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Nov. 2022, Peer-reviewed, Lead author, Corresponding author

Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception
Michael Abraham; Aaron Mayne; Tristan Perez; Italo Romani De Oliveira; Huafeng Yu; Chiao Hsieh; Yangge Li; Dawei Sun; Sayan Mitra
2022 International Conference on Embedded Software (EMSOFT), Oct. 2022, Peer-reviewed, Corresponding author

Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems
Chiao Hsieh; Daniel Wu; Yubin Koh; Sayan Mitra
2022 IEEE 18th International Conference on Automation Science and Engineering (CASE), 20 Aug. 2022, Peer-reviewed, Lead author, Corresponding author

SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems
Chiao Hsieh; Hussein Sibai; Hebron Taylor; Yifeng Ni; Sayan Mitra
2021 IEEE International Intelligent Transportation Systems Conference (ITSC), 19 Sep. 2021, Peer-reviewed, Lead author, Corresponding author

Koord: a language for programming and verifying distributed robotics application
Ritwika Ghosh; Chiao Hsieh; Sasa Misailovic; Sayan Mitra
Proceedings of the ACM on Programming Languages, 13 Nov. 2020, Peer-reviewed

CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination
Ritwika Ghosh; Joao P. Jansch-Porto; Chiao Hsieh; Amelia Gosse; Minghao Jiang; Hebron Taylor; Peter Du; Sayan Mitra; Geir Dullerud
2020 IEEE International Conference on Robotics and Automation (ICRA), May 2020, Peer-reviewed

Dione: A Protocol Verification System Built with Dafny for I/O Automata
Chiao Hsieh; Sayan Mitra
15th International Conference on Integrated Formal Methods, 22 Nov. 2019, Peer-reviewed, Lead author, Corresponding author

PAC learning-based verification and model synthesis
Yu-Fang Chen; Chiao Hsieh; Ondřej Lengál; Tsung-Ju Lii; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang
Proceedings of the 38th International Conference on Software Engineering, 14 May 2016, Peer-reviewed

CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation
Yu-Fang Chen; Chiao Hsieh; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang
21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Apr. 2015, Peer-reviewed, Corresponding author

Verifying Recursive Programs Using Intraprocedural Analyzers
Yu-Fang Chen; Chiao Hsieh; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang
21st International Symposium on Static Analysis, Sep. 2014, Peer-reviewed, Corresponding author

Symbolic model checking on SystemC designs.
Chun-Nan Chou; Yen-Sheng Ho; Chiao Hsieh; Chung-Yang (Ric) Huang
The 49th Annual Design Automation Conference 2012(DAC), 2012, Peer-reviewed

Misc.

Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
Chiao Hsieh; Masaki Waga; Kohei Suenaga
01 Mar. 2025

GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems
Keyur Joshi; Chiao Hsieh; Sayan Mitra; Sasa Misailovic
Jul. 2023

Assuring safety of vision-based swarm formation control.
Chiao Hsieh; Yangge Li; Yubin Koh; Sayan Mitra
CoRR, 2022

Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions.
Chiao Hsieh; Keyur Joshi; Sasa Misailovic; Sayan Mitra
CoRR, 2021

SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems (Extended Version)
Chiao Hsieh; Hussein Sibai; Hebron Taylor; Sayan Mitra
CoRR, 2020

CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination.
Ritwika Ghosh; Joao P. Jansch-Porto; Chiao Hsieh; Amelia Gosse; Minghao Jiang; Hebron Taylor; Peter Du; Sayan Mitra; Geir E. Dullerud
CoRR, 2019

PAC Learning-Based Verification and Model Synthesis.
Yu-Fang Chen; Chiao Hsieh; Ondrej Lengál; Tsung-Ju Lii; Ming-Hsien Tsai; Bow-Yaw Wang; Farn Wang
CoRR, 2015

Presentations

Perception Contracts for Safety of ML-Enabled Systems
Chiao Hsieh
第27回プログラミングおよびプログラミング言語ワークショップ, 07 Mar. 2025

GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems
Chiao Hsieh
The 35th IEEE International Symposium on Software Reliability Engineering (ISSRE), 30 Oct. 2024

Assuring Safety of Vision-Based Swarm Formation Control
Chiao Hsieh
2024 American Control Conference (ACC), 11 Jul. 2024

Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception.
Chiao Hsieh
2022 International Conference on Embedded Software (EMSOFT), 10 Oct. 2022

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.
Chiao Hsieh
2022 International Conference on Embedded Software (EMSOFT), 11 Oct. 2022

Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems.
Chiao Hsieh
18th IEEE International Conference on Automation Science and Engineering (CASE), Aug. 2022

SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems.
Chiao Hsieh
24th IEEE International Intelligent Transportation Systems Conference (ITSC), 22 Sep. 2021

Koord: a language for programming and verifying distributed robotics application.
Chiao Hsieh
International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), Nov. 2020

Dione: A Protocol Verification System Built with Dafny for I/O Automata.
Chiao Hsieh
15th International Conference on Integrated Formal Methods (IFM), Dec. 2019

CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution).
Chiao Hsieh
21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Apr. 2015

Verifying Recursive Programs Using Intraprocedural Analyzers.
Chiao Hsieh
21st International Symposium on Static Analysis (SAS), Sep. 2014

External funds: Kakenhi

Safety Verification of Black Box Cyber-Physical Systems via Lyapunov Stability Certificates
Grant-in-Aid for Research Activity Start-up
1001:Information science, computer engineering, and related fields
Kyoto University
Hsieh Chiao; 謝橋
From 31 Jul. 2024, To 31 Mar. 2026, Adopted
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24K23861/

Safety Verification of Black Box Cyber-Physical Systems via Lyapunov Stability Certificates
Grant-in-Aid for Research Activity Start-up
1001:Information science, computer engineering, and related fields
Kyoto University
Hsieh Chiao; 謝橋
From 31 Jul. 2024, To 31 Mar. 2026, Granted
形式検証;サイバーフィジカルシステム;安定性解析;ブラックボックスモデル
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-24K23861/

ページ上部へ戻る