蓮尾一郎

ハスオイチロウ | Hasuo Ichiro

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

ホームページ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件)：

竹房あつ子, 竹房あつ子, 五十嵐淳, 関山太朗, 関山太朗, 松井俊浩, 小野泰司, 小野泰司, 福田健介, 福田健介, 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

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

受賞 (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の登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

蓮尾 一郎