イアン・マーツ
Ian Mertz

ポスドク

ウォーリック大学
計算理論学部
離散数学やその使用のセンター(DIMAP)

イングランド　コヴェントリー市
Mathematical Science Building
MS 1.15号室

本名 [どっと] 名字 [あっと] warwick.ac.uk

自己紹介

ウォーリック大学計算理論学部所属。現在ポスドクで、ありがたいことに Igor Carboni Oliveira教授よりご指導頂いています。 かつてトロント大学 で博士号（Toniann Pitassi教授指導）、その前 ラトガーズ大学コンピュータサイエンス学部卒業。

近年着目している研究テーマは計算複雑性理論、 特に触媒計算、lifting、arithmetic回路計算量、 証明複雑性についても 研究を続けています。

[CV]   [DBLP]   [Google Scholar]   [ORCID]

研究発表

大系

Reusing Space: Techniques and Open Problems
Ian Mertz
EATCS会報、141 pp.57-106、2023年。

出版（理論計算機科学）

Tree Evaluation is in Space O(log n · log log n)
James Cook、Ian Mertz
第56回　ACM Symposium on Theory of Computing (STOC '24)（未刊）、2024年。
[ビデオ(IAS)]   [ビデオ(リスボン大学)]   [スライドショー]   [報道]
Trading Time and Space in Catalytic Branching Programs
James Cook、Ian Mertz
第37回　Computational Complexity Conference (CCC 2022)、pp.8:1-8:21、2022年。
[ビデオ(CCC)]   [スライドショー]
Encodings and the Tree Evaluation Problem
James Cook、Ian Mertz
Catalytic Approaches to the Tree Evaluation Problemとともに論文誌投稿予定、2021年。
Lifting with Sunflowers
Shachar Lovett、Raghu Meka、Ian Mertz、Toniann Pitassi、Jiapeng Zhang
第19回 Innovations in Theoretical Computer Science (ITCS '22)、104:1-104:22、2022年。
[ビデオ(ITCS)]   [ビデオ(MIAO)]   [スライドショー]
Catalytic Approaches to the Tree Evaluation Problem
James Cook、Ian Mertz
第52回 ACM Symposium on Theory of Computing (STOC '20)、pp.752-760、2020年。
[ビデオ(STOC)]   [ビデオ(IAS)]
Automating Cutting Planes is NP-Hard
Mika Göös、Sajin Koroth、Ian Mertz、Toniann Pitassi
第52回 ACM Symposium on Theory of Computing (STOC '20)、pp.68-77、2020年。
[ビデオ(STOC)]   [スライドショー]
Short Proofs Are Hard to Find
Ian Mertz、Toniann Pitassi、Yuanhao Wei
第46回 International Colloquium on Automata, Languages and Programming (ICALP '19)、　 Leibniz International Proceedings in Informatics (LIPIcs)、84(132)pp.1-16、2019年。
[ビデオ(IAS)]   [スライドショー]
Dual VP Classes
Eric Allender、Anna Gál、Ian Mertz
computational complexity、25 pp.1-43、2016年。 以前 第40回 International Symposium on Mathematical Foundations of Computer Science (MFCS '15)、　 Lecture Notes in Computer Science、9235 pp.14-25、2015年。
[スライドショー]
Complexity of Regular Functions
Eric Allender、Ian Mertz
Journal of Computer and System Sciences、104 pp. 5-16、2019. 以前 第9回 International Conference on Language and Automata Theory and Applications (LATA '15)、　 Lecture Notes in Computer Science、8977 pp.449-460、2015年。
[スライドショー]

草稿・雑

The Complexity of Composition: New Approaches to Depth and Space
Ian Mertz
博士論文。
[ビデオ(ToniCS)]   [スライドショー]
Catalytic Computing, Tree Evaluation, & Clean Computation
Ian Mertz
論文の提案・関連項目：Catalytic Approaches to the Tree Evaluation Problem。
[スライドショー]
Catalytic Computing Between L and P
Ian Mertz
一次試験・関連項目：Catalytic Approaches to the Tree Evaluation Problem。
[スライドショー]
Proof Complexity and Automatizability
Ian Mertz
修士論文・関連項目：Short Proofs are Hard to Find。
[スライドショー]
Transforming Potential into Promise: A Depth-First Approach
Rajiv Gandhi、David Jacobowitz、Ian Mertz
未刊
研究歴
2022年～2024年 ポスドク ウォーリック大学 Igor Carboni Oliveira先生
2018年～2022年 博士後期課程 トロント大学 Toniann Pitassi先生
2016年～2018年 博士前期課程 トロント大学 Toniann Pitassi先生、
Stephen Cook先生
2012年～2016年 学士課程 ラトガーズ大学 Eric Allender先生

2023年 秋期 リスボン大学 Bruno Loff先生
2023年 春期 Simons Institute
2022年 夏期 カレル大学 Michal Koucký先生
2022年 春期 プリンストン高等研究所 Toniann Pitassi先生
2020年 春期 プリンストン高等研究所 Toniann Pitassi先生
2018年 秋期 Simons Institute
2017年 秋期 プリンストン高等研究所 Toniann Pitassi先生
2015年 夏期 京都大学 岩間一雄先生
2012年 夏期 PACTプログラム（担当役） Rajiv Gandhi先生
2011年 夏期 PACTプログラム Rajiv Gandhi先生
ティーチングアシスタント
2021年 夏期 CSC 165 コンピュータ科学向けの論理的表現と推論
2020年 秋期 CSC 236
CSC 2426		 計算理論額の導入
暗号学の基礎
2019年 秋期 CSC 165 コンピュータ科学向けの論理的表現と推論
2019年 冬期 CSC 165（二つ） コンピュータ科学向けの論理的表現と推論
2018年 冬期 CSC 165
CSC 463		 コンピュータ科学向けの論理的表現と推論
計算複雑性と計算可能性
2017年 夏期 CSC 373 アルゴリズムデザイン・解析・複雑性
2017年 冬期 CSC 463 計算複雑性と計算可能性
2016年 秋期 CSC 165 コンピュータ科学向けの論理的表現と推論
2015年 秋期 CS 509 コンピュータ科学の基礎
English