蓮尾一郎

ハスオイチロウ | Hasuo Ichiro

所属機関・部署：
職名：教授
その他の所属（所属・部署名・職名） (3件)：

ホームページURL (1件)： http://group-mmm.org/~ichiro

研究分野 (3件)：ソフトウェア , 代数学 , 情報学基礎論

研究キーワード (6件)：圏論 , 計算機システムの形式検証 , 情報セキュリティ , Category Theory , Formal Verification of Computer Systems , Information Security

論文 (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

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. 2018. abs/1809.09278
佐藤薫, 蓮尾一郎. 理学の現場第14回. 東京大学理学系研究科・理学部ニュース. 2015. 47. 2. 8-9
蓮尾一郎, 星野直彦. 量子コンピュータ:5.量子プログラミング言語. 情報処理. 2014. 55. 7. 710-715
蓮尾一郎. 計算機科学と代数学 : プログラム意味論と普遍代数学 (特集数理科学における代数的構造 : 多彩な代数学的アプローチを探る). 数理科学. 2014. 52. 5. 37-42

講演・口頭発表等 (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)

学位 (1件)：

受賞 (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

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

蓮尾 一郎