研究者
J-GLOBAL ID:200901006896314021   更新日: 2025年03月13日

蓮尾 一郎

ハスオ イチロウ | Hasuo Ichiro
所属機関・部署:
職名: 教授
その他の所属(所属・部署名・職名) (3件):
  • 総合研究大学院大学  複合科学研究科   教授
  • JST ERATO 蓮尾メタ数理システムデザインプロジェクト  研究総括
  • JST ERATO Metamathematics for Systems Design Project  Research Director
ホームページURL (1件): http://group-mmm.org/~ichiro
研究分野 (3件): ソフトウェア ,  代数学 ,  情報学基礎論
研究キーワード (6件): 圏論 ,  計算機システムの形式検証 ,  情報セキュリティ ,  Category Theory ,  Formal Verification of Computer Systems ,  Information Security
論文 (175件):
  • Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo. Compositional Solution of Mean Payoff Games by String Diagrams. Principles of Verification (3). 2024. 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
もっと見る
MISC (12件):
もっと見る
講演・口頭発表等 (15件):
  • Proving Safety of Automated Driving Vehicles
    (ICTAC 2024 2024)
  • Abstract and Concrete Model Checking
    (ICTAC 2024 2024)
  • 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)
もっと見る
学位 (1件):
  • PhD (Radboud University Nijmegen)
受賞 (5件):
  • 2024/11 - ICTAC 2024 最優秀論文賞
  • 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
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る