Rchr
J-GLOBAL ID:200901006896314021   Update date: Jan. 18, 2025

Hasuo Ichiro

ハスオ イチロウ | Hasuo Ichiro
Affiliation and department:
Other affiliations (3):
  • The Graduate University for Advanced Studies  Associate Professor
  • JST ERATO 蓮尾メタ数理システムデザインプロジェクト  研究総括
  • JST ERATO Metamathematics for Systems Design Project  Research Director
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):
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
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page