イアン・マーツ
Ian Mertz

ポスドク

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

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

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

自己紹介

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

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

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

お知らせ: 10月からカレル大学所属にポスドクをはじめ、Michal Koucký教授よりご指導頂くことになります。

研究発表

大系

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

出版(理論計算機科学)

Fully Characterizing Lossy Catalytic Space
The Structure of Catalytic Space: Capturing Randomness and Time via Compression
Tree Evaluation is in Space O(log n · log log n)
Trading Time and Space in Catalytic Branching Programs
Encodings and the Tree Evaluation Problem
James CookIan Mertz
Catalytic Approaches to the Tree Evaluation Problemとともに論文誌投稿予定、2021年。
Lifting with Sunflowers
Catalytic Approaches to the Tree Evaluation Problem
Automating Cutting Planes is NP-Hard
Short Proofs Are Hard to Find
Dual VP Classes
Complexity of Regular Functions

草稿・雑

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 GandhiDavid JacobowitzIan Mertz
未刊
研究歴
ティーチングアシスタント
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