Rchr
J-GLOBAL ID：200901006896314021   Update date: Mar. 13, 2024

Hasuo Ichiro

ハスオ イチロウ | Hasuo Ichiro
Affiliation and department：
National Institute of Informatics National Institute of Informatics

About National Institute of Informatics National Institute of Informatics


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 (145)：
  • Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho 0002, Shin-ya Katsumata. Control-data separation and logical condition propagation for efficient inference on probabilistic programs. J. Log. Algebraic Methods Program. 2024. 136. 100922-100922
  • Lelio Brun, Ichiro Hasuo, Yasushi Ono, Taro Sekiyama. Automated Security Analysis for Real-World IoT Devices. Proceedings of the 12th International Workshop on Hardware and Architectural Support for Security and Privacy. 2023
  • Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo. Exploiting Adjoints in Property Directed Reachability Analysis. Computer Aided Verification. 2023. 41-63
  • Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo. Online Causation Monitoring of Signal Temporal Logic. Computer Aided Verification. 2023. 62-84
  • Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo. Compositional Probabilistic Model Checking with String Diagrams of MDPs. Computer Aided Verification. 2023. 40-61
ｍore...
MISC (12)：
ｍore...
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)
ｍore...
Professional career (1)：
  • PhD (Radboud University Nijmegen)
Awards (3)：
  • 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

TOP

BOTTOM