トップページ  >  教員個別情報
謝　橋 （HSIEH, Chiao）特任助教
情報科学, 次世代デジタル社会基盤研究領域
◆学位
博士(ｺﾝﾋﾟｭｰﾀｰｻｲｴﾝｽ) イリノイ大学アーバナ・シャンペーン校
◆職歴
2026 - : 北陸先端科学技術大学院大学 , 情報科学系 , 特任助教
2025 - 2026 : 京都大学 , 大学院情報学研究科 通信情報システム専攻 , 特定助教
2023 - 2024 : 京都大学 , 大学院情報学研究科 通信情報システム専攻 , 特定研究員
2018 - 2023 : イリノイ大学アーバナ・シャンペーン校 , Coordinated Science Laboratory , リサーチアシスタント
2017 - 2018 : イリノイ大学アーバナ・シャンペーン校 , 計算機科学 , ティーチングアシスタント
2016 - 2016 : IBM基礎研究所 , トーマス・J・ワトソン研究所 , リサーチインターン
2015 - 2016 : イリノイ大学アーバナ・シャンペーン校 , 計算機科学 , リサーチアシスタント
2013 - 2015 : 中央研究院 , 資訊科學研究所 , リサーチアシスタント
2012 - 2013 : 中央研究院 , 資訊科學研究所 , リサーチアシスタント
◆専門分野
ソフトウェア
◆研究キーワード
ソフトウェア検証, サイバーフィジカルシステム, ソフトウェアテスト, 形式的検証, 形式手法, ハイブリッドシステム, モデル検査

■研究業績

◆発表論文
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
◆講演・口頭発表
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

■学外活動

◆学術貢献活動
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)