ウォーリック大学計算理論学部所属。現在ポスドクで、ありがたいことに Igor Carboni Oliveira教授よりご指導頂いています。 かつてトロント大学 で博士号(Toniann Pitassi教授指導)、その前 ラトガーズ大学コンピュータサイエンス学部卒業。
近年着目している研究テーマは計算複雑性理論、 特に触媒計算、lifting、arithmetic回路計算量、 証明複雑性についても 研究を続けています。
ポスドク
ウォーリック大学 計算理論学部 離散数学やその使用のセンター(DIMAP)
イングランド コヴェントリー市 Mathematical Science Building MS 1.15号室
本名 [どっと] 名字 [あっと] warwick.ac.uk
ウォーリック大学計算理論学部所属。現在ポスドクで、ありがたいことに Igor Carboni Oliveira教授よりご指導頂いています。 かつてトロント大学 で博士号(Toniann Pitassi教授指導)、その前 ラトガーズ大学コンピュータサイエンス学部卒業。
近年着目している研究テーマは計算複雑性理論、 特に触媒計算、lifting、arithmetic回路計算量、 証明複雑性についても 研究を続けています。
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 | コンピュータ科学の基礎 |