TOP  >  Personal Info.
HSIEH, Chiao Research Assistant Professor
Information Science, Next-Generation Digital Infrastructure
◆Degrees
Doctor of Philosophy in Computer Science University of Illinois Urbana-Champaign
◆Professional Experience
2026 - : Japan Advanced Institute of Science and Technology , School of Information Science , Research Assistant Professor
2025 - 2026 : Kyoto University , Graduate School of Informatics Department of Communications and Computer Engineering , Program-Specific Assistant Professor
2023 - 2024 : Kyoto University , Graduate School of Informatics Department of Communications and Computer Engineering , Program-Specific Researcher
2018 - 2023 : University of Illinois Urbana-Champaign , Coordinated Science Laboratory , Graduate Research Assistant
2017 - 2018 : University of Illinois Urbana-Champaign , Department of Computer Science , Teaching Assistant
2016 - 2016 : IBM Research , IBM Thomas J. Watson Research Center , Research Intern
2015 - 2016 : University of Illinois Urbana-Champaign , Department of Computer Science , Research Assistant
2013 - 2015 : Academia Sinica , Institute of Information Science , Research Assistant
2012 - 2013 : Academia Sinica , Institute of Information Science , Research Assistant
◆Specialties
Software
◆Research Keywords
Software Verification, Cyber-Physical System, Software Testing, Formal Verification, Formal Methods, Hybrid System, Model Checking

■Publications

◆Published Papers
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis
Chiao Hsieh, Masaki Waga, Kohei Suenaga
Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 1-11, 2025
Perception Contracts for Safety of ML-Enabled Systems
Angello Astorga, Chiao Hsieh, P. Madhusudan, Sayan Mitra
Proceedings of the ACM on Programming Languages, 7, OOPSLA2, 2196-2223, 2023
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, 41, 11, 4205-4216, 2022
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), 372-379, 2021
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, 4, OOPSLA, 1-30, 2020
◆Misc
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis (Extended Version)
Chiao Hsieh, Masaki Waga, Kohei Suenaga
-, 2025
GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems
Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
-, 2023
Assuring safety of vision-based swarm formation control.
Chiao Hsieh, Yangge Li, Yubin Koh, Sayan Mitra
CoRR, abs/2210.00982, -, 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, abs/2111.05534, -, 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, abs/2009.04655, -, 2020
◆Conference Activities & Talks
Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample Guided Synthesis
28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2025
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.
2022 International Conference on Embedded Software (EMSOFT), 2022
Koord: a language for programming and verifying distributed robotics application.
ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH), 2021
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems.
24th IEEE International Intelligent Transportation Systems Conference (ITSC), 2021
Dione: A Protocol Verification System Built with Dafny for I/O Automata.
15th International Conference on Integrated Formal Methods (IFM), 2019

■Contributions to  Society

◆Academic Society Affiliations
Association for Computing Machinery
◆Academic Contribution
Review Committee , 2026 ACM International Conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 2026)
Artifact Evaluation Committee , The 23rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2025)
Artifact Evaluation Committee , The 31st International Symposium on Model Checking Software (SPIN 2025)