内藏 理史
クラ サトシ (Satoshi Kura)
更新日: 07/26
基本情報
- 所属
- 早稲田大学 教育・総合科学学術院 講師（任期付き）
- 学位
-
博士（情報学）(2022年3月 総合研究大学院大学)
- 研究者番号
- 10969364
- ORCID iD
https://orcid.org/0000-0002-3954-8255- J-GLOBAL ID
- 202101008332507235
- researchmap会員ID
- R000025820
- 外部リンク
経歴
5-
2024年4月
-
2022年4月 - 2024年3月
-
2022年4月 - 2024年3月
-
2022年4月 - 2024年3月
-
2021年4月 - 2022年3月
学歴
3-
2019年4月 - 2022年3月
-
2017年4月 - 2019年3月
-
2013年4月 - 2017年3月
委員歴
3受賞
2-
2021年9月
論文
10-
Proceedings of the ACM on Programming Languages 2026年6月8日 査読有り
-
Proceedings of the ACM on Programming Languages 2026年6月8日 査読有り
-
Lecture Notes in Computer Science 16501 401-431 2026年4月10日 査読有り
-
LICS 732-747 2025年 査読有り
-
Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type SystemProceedings of the ACM on Programming Languages 2024年8月15日 査読有り
-
Mathematical Structures in Computer Science 32(4) 472-510 2022年4月 査読有り
-
Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software(FoSSaCS) 406-426 2021年 査読有り
-
Computer Aided Verification - 33rd International Conference 75-98 2021年 査読有り
-
Foundations of Software Science and Computation Structures - 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software(FoSSaCS) 401-421 2020年 査読有り
-
Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software 135-153 2019年 査読有り
講演・口頭発表等
12-
639th IEEE Computer Security Foundations Symposium (CSF 2026) 2026年7月26日 -
747th ACM SIGPLAN Conference on Programming Language Design and Implementation 2026年6月19日 -
847th ACM SIGPLAN Conference on Programming Language Design and Implementation 2026年6月18日 -
1835th European Symposium on Programming (ESOP 2026) 2026年4月16日 -
33日本ソフトウェア科学会第42回大会 2025年9月3日 -
41情報セキュリティ研究会（ISEC） 2025年7月8日 -
78Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type SystemThe 29th ACM SIGPLAN International Conference on Functional Programming 2024年9月5日 -
The 11th ACM SIGPLAN Workshop on Higher-Order Programming with Effects 2023年9月4日
-
3833rd International Conference on Computer-Aided Verification 2021年7月21日 -
2923rd International Conference on Foundations of Software Science and Computation Structures 2021年3月30日 -
3324th International Conference on Foundations of Software Science and Computation Structures 2021年3月29日 -
2625th International Conference on Tools and Algorithms for the Construction and Analysis of Systems 2019年4月10日
担当経験のある科目(授業)
5共同研究・競争的資金等の研究課題
4-
日本学術振興会 科学研究費助成事業 基盤研究(S) 2025年4月 - 2030年3月
-
日本学術振興会 科学研究費助成事業 若手研究 2025年4月 - 2030年3月
-
科学技術振興機構 戦略的な研究開発の推進 戦略的創造研究推進事業 ACT-X 2021年10月 - 2024年3月
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2021年4月 - 2023年3月