モンタキュート ヨアフ
Yoàv Montacute
更新日: 07/09
基本情報
- 学位
-
PhD(ケンブリッジ大学)
- ORCID iD
https://orcid.org/0000-0001-9814-7323- J-GLOBAL ID
- 202401009662652647
- researchmap会員ID
- R000068518
- 外部リンク
研究キーワード
5経歴
1-
2024年 - 現在
学歴
2-
2020年 - 2025年
委員歴
3-
2026年 - 2026年
-
2024年 - 2024年
-
2023年 - 2023年
受賞
7論文
14-
37th International Conference on Concurrency Theory (CONCUR 2026) 2026年 査読有り招待有り責任著者
-
16th International Conference on Advances in Modal Logic (AiML 2026) 2026年 査読有り筆頭著者責任著者
-
24th International Conference on Computational Methods in Systems Biology (CMSB 2026) 2026年 査読有り筆頭著者責任著者
-
41th Annual Symposium on Logic in Computer Science (LICS 2026) 2026年 査読有り
-
27th International Symposium on Formal Methods (FM 2026) 2026年 査読有り筆頭著者責任著者
-
Electronic Notes in Theoretical Informatics and Computer Science 2024年12月11日 査読有り筆頭著者責任著者
-
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science 2024年7月8日 査読有り筆頭著者責任著者
-
Logical Methods in Computer Science Volume 20, Issue 2 2024年5月17日 査読有り招待有り筆頭著者責任著者
-
Proceedings of the AAAI Conference on Artificial Intelligence 38(9) 10509-10516 2024年3月24日 査読有り筆頭著者責任著者
-
Logical Methods in Computer Science Volume 19, Issue 4 2023年12月18日 査読有り招待有り筆頭著者責任著者
-
Proceedings of the AAAI Conference on Artificial Intelligence 37(5) 6355-6362 2023年6月26日 査読有り筆頭著者責任著者
-
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2022) 2022年8月2日 査読有り筆頭著者責任著者
-
14th Conference on Advances in Modal Logic (AiML 2022) 2022年 査読有り筆頭著者責任著者
-
30th EACSL Annual Conference on Computer Science Logic (CSL 2022) 19-17 2022年 査読有り筆頭著者責任著者
書籍等出版物
2講演・口頭発表等
26-
Advances in Modal Logic 2026 2026年7月2日 University of Amsterdam
-
Resources in Computation 2026 2026年5月28日 University College London 招待有り
-
2026年3月 Institute of Science Tokyo 招待有り
-
2025年12月 OASIS Seminar, University of Oxford 招待有り
-
2025年12月 PPLV Seminar, University College London 招待有り
-
2025年10月 Department of Mathematics, Tohoku University 招待有り
-
Logic Colloquium 2025 2025年7月
-
若手数学者交流会 2025 2025年3月
-
理論計算機科学と圏論ワークショップ (CSCAT 2025) 2025年3月
-
第27回プログラミングおよびプログラミング言語ワークショップ (PPL 2025) 2025年3月
-
39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024) 2024年7月
-
第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024年
-
38th Conference on Artificial Intelligence (AAAI 2024) 2024年
-
2023年 National Institute of Informatics (NII) 招待有り
-
Resources and Co-Resources: A Junction between Semantics and Descriptive Complexity 2023年
-
2023年 MIMUW, University of Warsaw 招待有り
-
2023年 University of Edinburgh 招待有り
-
37th Conference on Artificial Intelligence (AAAI 2023) 2023年
-
2022年 RIMS, Kyoto University 招待有り
-
Resources in Computation (RiC 2022) 2022年
担当経験のある科目(授業)
19-
2026年 - 2026年
所属学協会
3-
2026年 - 現在
共同研究・競争的資金等の研究課題
1-
科学技術振興機構 (JST) ACT-X