郡 茉友子
コオリ マユコ (Mayuko Kori)
更新日: 03/28
基本情報
- 所属
- 京都大学 数理解析研究所 応用数理研究部門 助教
- 学位
-
情報学(2025年3月 総合研究大学院大学)
- J-GLOBAL ID
- 202401010401318225
- researchmap会員ID
- R000075801
学歴
3-
2020年4月 - 2025年3月
-
2018年4月 - 2020年3月
-
2016年4月 - 2018年3月
論文
8-
LICS 71-83 2025年 査読有り筆頭著者
-
LICS 52-13 2024年 査読有り筆頭著者
-
CAV (2) 41-63 2023年 査読有り筆頭著者
-
Computer Aided Verification - 34th International Conference 235-256 2022年 査読有り筆頭著者
-
29th EACSL Annual Conference on Computer Science Logic(CSL) 29-22 2021年 査読有り筆頭著者
-
32nd International Conference on Concurrency Theory(CONCUR) 21-22 2021年 査読有り筆頭著者
共同研究・競争的資金等の研究課題
2-
科学技術振興機構 戦略的創造研究推進事業 ACT-X 2024年10月 - 2027年3月
-
日本学術振興会 科学研究費助成事業 特別研究員奨励費 2023年3月 - 2025年3月