経歴
学歴
1994年3月11日 和歌山県田辺市立新庄中学校 卒業
1994年4月1日 和歌山県立田辺高等学校 入学
1997年3月1日 同上 卒業
1997年4月1日 京都大学工学部 情報学科 入学
2001年3月26日 同上 計算機科学コース 卒業
2001年4月1日 京都大学 大学院情報学研究科 通信情報システム専攻 修士課程 入学
2003年3月24日 同上 修了
2003年4月1日 京都大学 大学院情報学研究科 通信情報システム専攻 博士後期課程 進学
2006年3月23日 同上 修了
京都大学博士 (情報学)
職歴
2003年4月1日〜2006年3月31日 京都大学 21世紀COEプログラム 電気電子基盤技術の研究教育拠点形成 リサーチアシスタント
2006年4月1日〜2007年5月31日 文部科学省科学研究費補助金 特定領域研究 新世代の計算限界 博士研究員
2006年4月1日〜2008年3月31日 京都大学 大学院情報学研究科 特任助手 (2007年4月1日〜 特任助教)
2007年6月1日〜2008年12月31日 京都大学 大学院情報学研究科 研究員 (2008年4月1日〜 特定研究員)
2015年5月26日〜8月18日 カリフォルニア大学サンディエゴ校 客員研究員
2015年8月19日〜11月15日 カリフォルニア大学バークレー校 客員研究員
2009年1月1日〜2016年3月31日 京都大学 大学院情報学研究科 助教
2009年1月1日〜2019年3月31日 京都大学 工学部 助教 (兼担)
2016年4月1日〜2019年3月31日 京都大学 自然科学域情報学系 (大学院情報学研究科) 助教 (配置換)
2022年7月1日〜12月31日 カーネギーメロン大学 客員研究員
2019年4月1日〜2024年3月31日 兵庫県立大学 社会情報科学部 准教授 (2021年4月1日〜 兼担)
2021年4月1日〜2024年3月31日 兵庫県立大学 大学院情報科学研究科 准教授 (配置換)
2024年4月1日〜 兵庫県立大学 大学院情報科学研究科 教授
2024年4月1日〜 兵庫県立大学 社会情報科学部 教授 (兼担)
教育
担当授業 (兵庫県立大学大学院情報科学研究科)
データ科学概論 (2021年度〜)
先端データ科学特論 (2021年度〜)
アルゴリズム特論 (2021年度〜)
担当授業 (兵庫県立大学社会情報科学部)
基礎演習 (2019年度〜)
PBL演習I (2019年度〜)
微積分II (2020年度〜)
PBL演習II (2020年度〜)
情報技術と現代社会 (2020年度〜)
English for Specific Purposes I (2021年度〜)
計算理論 (2021年度〜)
研究演習II (2021年度〜)
担当授業 (京都大学工学部情報学科)
計算機科学実験及演習2 (2007年度〜2019年度)
計算機科学実験及演習3 (2009年度)
計算機科学コース ミニゼミ「Google を実装する」 (2009年度)
基礎情報処理演習 (2010年度〜2011年度)
計算機科学のための数学演習 (2016年度〜2018年度)
担当授業 (その他)
ひょうご講座 データサイエンス (2019年度〜2021年度, 2023年度〜)
ティーチングアシスタント (京都大学工学部情報学科)
計算機科学実験及演習3 (2003〜2004年度)
計算機科学実験及演習2 (2003〜2004年度)
アルゴリズム論 (2005年度)
外国人滞在者受入
Carol Wang, Carnegie Mellon University, USA, July 19 〜 August 20, 2012
研究助成
京都大学 若手研究者スタートアップ研究費, 研究代表者, 2006年度
科学研究費補助金 若手研究(B), 計算困難な組合せ問題に対するアルゴリズムの設計と解析, 研究代表者, 2008〜2010年度, No. 20700011
科学研究費補助金 特定領域研究, 新世代の計算限界 −その解明と打破−, 連携研究者, 2008年度, No. 16092101
科学研究費補助金 基盤研究(A), 情報補填を可能にするアルゴリズムの設計と解析, 研究分担者, 2009年度, No. 19200001
科学研究費補助金 基盤研究(A), 空間的な情報補填を可能にするアルゴリズムの研究, 研究分担者, 2010〜2012年度, No. 22240001
学術研究基金助成金 若手研究(B), 計算困難問題に対する厳密指数時間アルゴリズムの研究, 研究代表者, 2011〜2013年度, No. 23700015
科学研究費補助金 新学術領域研究(研究領域提案型), 情報理論・符号理論からの計算限界研究, 研究分担者, 2012〜2016年度, No. 24106003
科学研究費補助金 基盤研究(A), データの巨大化から生じる不完全情報への対処に主眼をおいた近似計算, 研究分担者, 2013〜2015年度, No. 25240002
学術研究基金助成金 基盤研究(C), 制約充足問題に対する効率の良い厳密および近似アルゴリズムの研究, 研究代表者, 2014〜2017年度, No. 26330011
京都大学 スーパージョン万プログラム (研究者派遣), 2015年度
科学研究費補助金 基盤研究(B), 入力データが不完全なアルゴリズムで重要となる乱化技術の研究, No. 16H02782
研究分担者, 2016〜2018年度
連携研究者, 2019〜2020年度
JST CREST, ビッグデータ時代に向けた革新的アルゴリズム基盤, 研究メンバー, 2018〜2020年度
学術研究基金助成金 基盤研究(C), 制約充足問題に対するアルゴリズムの深化と新展開, 研究代表者, 2018〜2021年度 (2022年度まで延長), No. 18K11164
科学研究費補助金 基盤研究(A), 最小記述量の計算困難さの解析, 研究分担者, 2018〜2021年度, No. 18H04090
兵庫県立大学 特別研究助成金 (若手研究者支援), 研究代表者, 2020年度
光・量子飛躍フラッグシッププログラム (Q-LEAP), 知的量子設計による量子ソフトウェア研究開発と応用, 研究協力者, 2020年度〜
科学研究費補助金 学術変革領域研究(A), 社会変革の源泉となる革新的アルゴリズム基盤の創出と体系化, 研究分担者, 2020年度〜, No. 20H05961, No. 20H05967
兵庫県立大学 在外研究助成金, 研究代表者, 2022年度
学術研究基金助成金 基盤研究(C), 制約充足問題の新しい系統的な研究, 研究代表者, 2022〜2025年度, No. 22K11909
学会活動
Kyoto International Conference on Computational Geometry and Graph Theory (KyotoCGGT 2007), 組織委員
ACM-SIAM Symposium on Discrete Algorithms (SODA 2012), Local Staff
情報処理学会第77回全国大会実行委員会 幹事
LAシンポジウム 事務局 (2008年度, 2016年度)
電子情報通信学会 コンピュテーション研究専門委員会 幹事 (2018年6月〜2020年5月)
電子情報通信学会英文論文誌A「離散数学とその応用小特集号」(2011年5月, 2013年6月, 2014年6月, 2015年6月, 2017年9月, 2018年9月, 2020年9月) 編集委員
電子情報通信学会英文論文誌A「離散数学とその応用小特集号」(2021年9月) 幹事
International Symposium on Algorithms and Computation (ISAAC 2021) プログラム委員
電子情報通信学会英文論文誌A「離散数学とその応用小特集」(2022年9月) 編集委員長
電子情報通信学会英文論文誌D「理論計算機科学小特集号」(2013年3月, 2014年3月, 2015年3月, 2019年3月, 2023年3月) 編集委員
情報処理学会 アルゴリズム研究運営委員会 運営委員 (2020年4月~2024年3月)
電子情報通信学会 コンピュテーション研究専門委員会 専門委員 (2016年6月〜2018年5月, 2020年6月〜)