モンタキュートヨアフ

Montacute Yoàv

所属機関・部署：
ホームページURL (1件)： https://ymontacute.com

研究分野 (3件)：数学基礎 , 情報学基礎論 , 数理情報学

研究キーワード (3件)：理論計算機科学 , 圏論 , 数理論理学

競争的資金等の研究課題 (1件)：

論文 (9件)：

Yoàv Montacute, Glynn Winskel. Concurrent Games over Relational Structures: The Origin of Game Comonads. Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. 2024
Samson Abramsky, Yoàv Montacute, Nihil Shah. Linear Arboreal Categories. Proceedings of the 40th Conference on Mathematical Foundations of Programming Semantics (MFPS 2024). 2024
Yoàv Montacute, Nihil Shah. The Pebble-Relation Comonad in Finite Model Theory. Logical Methods in Computer Science. 2024. Volume 20, Issue 2
David Fernández-Duque, Yoàv Montacute. Dynamic Tangled Derivative Logic of Metric Spaces. Proceedings of the AAAI Conference on Artificial Intelligence. 2024. 38. 9. 10509-10516
David Fernández-Duque, Yoàv Montacute. Dynamic Cantor Derivative Logic. Logical Methods in Computer Science. 2023. Volume 19, Issue 4

講演・口頭発表等 (16件)：

Concurrent Games over Relational Structures
(39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2024) 2024)
Untangled: A Complete Dynamic Topological Logic
(第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024)
Dynamic Tangled Derivative Logic of Metric Spaces
(38th Conference on Artificial Intelligence (AAAI 2024) 2024)
Categorical Combinatorics and Topology
(2023)
Computational Complexity and Model Comparison Games
(Resources and Co-Resources: A Junction between Semantics and Descriptive Complexity 2023)

学歴 (2件)：

2020 - 2025 ケンブリッジ大学
2018 - 2020 University of Amsterdam Institute of Logic, Language and Computation (ILLC) MSc Logic

学位 (1件)：

委員歴 (2件)：

受賞 (7件)：

全件表示

所属学会 (2件)：

Member of the Association for Computing Machinery (ACM) , Fellow of the Cambridge Philosophical Society (CPS)

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

モンタキュート ヨアフ