Rchr
J-GLOBAL ID:200901006896314021
Update date: Jan. 18, 2025
Hasuo Ichiro
ハスオ イチロウ | Hasuo Ichiro
Affiliation and department:
Other affiliations (3):
Homepage URL (1):
http://group-mmm.org/~ichiro
Research field (3):
Software
, Algebra
, Information theory
Research keywords (6):
圏論
, 計算機システムの形式検証
, 情報セキュリティ
, Category Theory
, Formal Verification of Computer Systems
, Information Security
Papers (175):
-
Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo. Compositional Solution of Mean Payoff Games by String Diagrams. Principles of Verification (3). 2025. 423-445
-
Kittiphon Phalakarn, Sasinee Pruekprasert, Ichiro Hasuo. Winning Strategy Templates for Stochastic Parity Games towards Permissive and Resilient Control. CoRR. 2024. abs/2409.08607
-
Sota Sato 0001, Jie An 0001, Zhenya Zhang, Ichiro Hasuo. Optimization-Based Model Checking and Trace Synthesis for Complex STL Specifications. CoRR. 2024. abs/2408.06983
-
Kazuki Watanabe 0003, Sebastian Junges, Jurriaan Rot, Ichiro Hasuo. A Unifying Approach to Product Constructions for Quantitative Temporal Inference. CoRR. 2024. abs/2407.10465
-
Takamasa Okudono, Masaki Waga, Taro Sekiyama, Ichiro Hasuo. Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination. CoRR. 2024. abs/2407.09775
more...
MISC (12):
-
竹房あつ子, 竹房あつ子, 五十嵐淳, 関山太朗, 関山太朗, 松井俊浩, 小野泰司, 小野泰司, 福田健介, 福田健介, et al. ZT-IoT:ゼロトラストIoTのためのシステムソフトウェア構築に向けて. 情報処理学会研究報告(Web). 2022. 2022. OS-154
-
Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata, David Sprunger. Quantitative bisimulations using coreflections and open morphisms. CoRR. 2018. abs/1809.09278
-
佐藤 薫, 蓮尾 一郎. 理学の現場 第14回. 東京大学理学系研究科・理学部ニュース. 2015. 47. 2. 8-9
-
Quantum Computer:5. Quantum Programming Languages. 2014. 55. 7. 710-715
-
蓮尾 一郎. 計算機科学と代数学 : プログラム意味論と普遍代数学 (特集 数理科学における代数的構造 : 多彩な代数学的アプローチを探る). 数理科学. 2014. 52. 5. 37-42
more...
Lectures and oral presentations (13):
-
Proving Safety of Automated Driving Vehicles: Formalization of RSS with Program Logic
(The 3rd Workshop on Safety Testing and Validation of Connected and Automated Vehicles 2023)
-
Proving Safety of Automated Driving Vehicles
(Forum "Math for Industry" 2023 2023)
-
ICT技術の信頼を支える社会インフラとしてのソフトウェア科学
(情報学科・専攻協議会 2023)
-
ソフトウェア理論研究のシステムディペンダビリティ応用: 圏論的基礎理論から自動運転安全性証明まで
(第20回ディペンダブルシステムワークショップ 2022)
-
数学的証明の社会・産業応用
(九州大学マス・フォア・イノベーション連係学府 設置記念シンポジウム 2022)
more...
Professional career (1):
- PhD (Radboud University Nijmegen)
Awards (5):
- 2024/11 - Best Paper Award (ICTAC 2024) Winning Strategy Templates for Stochastic Parity Games Towards Permissive and Resilient Control
- 2024/04 - 文部科学省 科学技術分野の文部科学大臣表彰 科学技術賞 研究部門 来るべき情報技術の社会的信頼を担う数理的ソフトウェア研究
- 2023/08 - CAV 2023 Program Committee CAV 2023 Distinguished Paper Award Exploiting Adjoints in Property Directed Reachability Analysis
- 2018/12 - Best paper award, ICECCS 2018.
- 2014/08 - Best paper award, CONCUR 2014
Return to Previous Page