浅田 和之
Kazuyuki Asada
更新日: 01/17
基本情報
- 所属
- 東北大学 電気通信研究所 システム・ソフトウェア研究部門
- 学位
-
博士(京都大学)
- J-GLOBAL ID
- 201801021009266580
- researchmap会員ID
- B000303159
- 外部リンク
研究分野
1主要な論文
37-
Proc. ACM Program. Lang. 8(POPL) 362-392 2024年1月 査読有り
-
CAV (3) 40-61 2023年 査読有り
-
LICS 60-13 2022年 査読有り
-
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018 889-898 2018年 査読有り
-
Proceedings - Symposium on Logic in Computer Science 1-12 2017年8月8日 査読有り
-
44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland 97:1-97:14 2017年 査読有り
-
43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy 111:1-111:13 2016年 査読有り
-
ACM SIGPLAN Notices 48(9) 305-318 2013年
MISC
3-
情報処理学会論文誌プログラミング（PRO） 8(3) 2015年9月21日
-
日本ソフトウェア科学会大会論文集 29 419-440 2012年8月22日
-
日本ソフトウェア科学会大会論文集 28 1-7 2011年9月27日
共同研究・競争的資金等の研究課題
3-
日本学術振興会 科学研究費助成事業 基盤研究(C) 2024年4月 - 2029年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(C) 基盤研究(C) 2018年4月 - 2021年3月
-
日本学術振興会 科学研究費助成事業 基盤研究(A) 基盤研究(A) 2013年4月 - 2017年3月