Hsieh Chiao
シェ チャオ (Chiao Hsieh)
更新日: 10/15
基本情報
- 所属
- 京都大学 大学院情報学研究科 通信情報システム専攻 特定助教
- 連絡先
- hsieh.chiao.7k
kyoto-u.ac.jp - 通称等の別名
- 謝橋
- 研究者番号
- 71006426
- ORCID iD
https://orcid.org/0000-0001-8339-9915- J-GLOBAL ID
- 202301016563137543
- researchmap会員ID
- R000057479
- 外部リンク
主要な研究キーワード
7主要な研究分野
1共同研究・競争的資金等の研究課題
2-
日本学術振興会 科学研究費助成事業 研究活動スタート支援 2024年7月 - 2026年3月
-
国立研究開発法人 科学技術振興機構 戦略的創造研究推進事業 CREST 2020年 - 2025年
主要な経歴
8-
2025年1月 - 現在
-
2023年8月 - 2024年12月
-
2018年8月 - 2023年5月
主要な学歴
3主要な論文
17-
Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control 1-11 2025年5月6日 査読有り筆頭著者責任著者
-
Proceedings of the ACM on Programming Languages 7(OOPSLA2) 2196-2223 2023年10月16日 査読有り筆頭著者
-
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41(11) 4205-4216 2022年11月 査読有り筆頭著者責任著者
-
2021 IEEE International Intelligent Transportation Systems Conference (ITSC) 372-379 2021年9月19日 査読有り筆頭著者責任著者
-
Proceedings of the ACM on Programming Languages 4(OOPSLA) 1-30 2020年11月13日 査読有り
-
2020 IEEE International Conference on Robotics and Automation (ICRA) 6654-6660 2020年5月 査読有り
-
15th International Conference on Integrated Formal Methods 227-245 2019年11月22日 査読有り筆頭著者責任著者
委員歴
3MISC
7-
CoRR abs/2210.00982 2022年
-
CoRR abs/1511.00754 2015年
主要な講演・口頭発表等
12-
The 28th ACM International Conference on Hybrid Systems: Computation and Control 2025年5月8日
-
2022 International Conference on Embedded Software (EMSOFT) 2022年10月11日
-
24th IEEE International Intelligent Transportation Systems Conference (ITSC) 2021年9月22日
-
International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) 2020年11月
-
15th International Conference on Integrated Formal Methods (IFM) 2019年12月