酒寄 健
サカヨリ ケン (Ken Sakayori)
更新日: 05/01
基本情報
- 所属
- 東京大学 大学院情報理工学系研究科 助教
- 学位
-
博士(2021年3月 東京大学)
- ORCID iD
https://orcid.org/0000-0003-3238-9279- J-GLOBAL ID
- 202301000192563931
- researchmap会員ID
- R000059547
研究分野
2経歴
3-
2023年4月 - 現在
-
2021年10月 - 2023年3月
-
2021年4月 - 2021年9月
委員歴
3受賞
2論文
14-
ESOP (2) 241-269 2026年4月
-
Proceedings of the ACM on Programming Languages Volume 10(Issue POPL) 2026年1月8日
-
Static Analysis. SAS 2025, Lecture Notes in Computer Science 305-327 2025年10月6日
-
Logical Methods in Computer Science 2025年9月5日
-
Lecture Notes in Computer Science 402-428 2025年5月1日
-
Lecture Notes in Computer Science 325-345 2024年10月28日
-
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation 2024年1月11日
-
LICS 1-13 2023年
-
Static Analysis - 28th International Symposium(SAS) 405-428 2021年
-
6th International Conference on Formal Structures for Computation and Deduction(FSCD) 32-22 2021年
-
Programming Languages and Systems - 19th Asian Symposium(APLAS) 265-284 2021年
-
Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software(ESOP) 640-667 2019年
-
Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software(FoSSaCS) 389-406 2017年
共同研究・競争的資金等の研究課題
1-
日本学術振興会 科学研究費助成事業 若手研究 2024年4月 - 2028年3月