学歴
- 1988年3月
- 福島県立安積高等学校 普通科 卒業 (第101期)
- 高校在学中は物理部に所属
- 高校1年時に月刊I/Oでゲーム「Hover Attack (FM-7シリーズ)」を発表
- 1993年3月
- 東京大学 理学部 情報科学科 卒業 (学士(理学)) (第15期)
- 1995年3月
- 東京大学 大学院理学系研究科 情報科学専攻 修士課程 修了 (修士(理学))
- 1998年3月
- 東京大学 大学院理学系研究科 情報科学専攻 博士課程 修了 (博士(理学))
職歴
- 1997年4月~1998年3月
- 日本学術振興会 特別研究員-DC (受入機関:東京大学 大学院理学系研究科)
- 1998年4月~1999年3月
- 日本学術振興会 特別研究員-PD (受入機関:東京大学 大学院理学系研究科)
- 1999年4月~2000年3月
- 学術情報センター 研究開発部 学術情報研究系 助手
- 2000年4月~2004年1月15日
- 国立情報学研究所 ソフトウェア研究系 助手
- 2004年1月16日~2006年3月
- 国立情報学研究所 実証研究センター 助教授
- 2006年4月~2013年3月
- 国立情報学研究所 アーキテクチャ科学研究系 准教授 (2007年3月まで助教授)
- 2013年4月~現在
- 法政大学 情報科学部 ディジタルメディア学科 教授
役職・兼業等
- 2001年4月~2004年3月
- 法政大学 市ヶ谷教養教育センター 兼任講師 (2003年3月まで第一教養部所属)
- 2002年4月~2004年1月15日
- 総合研究大学院大学 数物科学研究科 助手
- 2004年4月~2007年3月
- 筑波大学 先端学際領域研究センター 客員研究員
- 2004年9月~2007年2月
- 法政大学 情報科学部 兼任講師
- 2005年4月~2013年3月
- 総合研究大学院大学 複合科学研究科 准教授 (2007年3月まで助教授)
- 2005年5月~2005年7月
- フランス ナント大学 計算機科学研究所 客員教員
- 2005年10月~2006年3月
- 東京工業大学 大学院情報理工学研究科 非常勤講師
- 2006年4月~2013年3月
- 早稲田大学 理工学術院 客員准教授 (2007年3月まで客員助教授)
- 2006年4月~2008年3月
- 文部科学省 研究振興局 学術調査官 (科学研究費補助金担当)
- 2007年4月~2013年3月
- 北陸先端科学技術大学院大学 情報科学研究科 客員准教授
- 2013年4月~2019年3月
- 国立情報学研究所 研究開発連携 客員教授
- 2015年4月~2017年3月
- 法政大学 情報科学部 ディジタルメディア学科 学科主任
- 2017年4月~2018年3月
- 法政大学 在外研修員 (受入機関:フランス ニースソフィアアンティポリス大学 I3S研究所)
- 2018年4月~2020年3月
- 法政大学 情報科学部 教授会副主任
- 2020年4月~2022年3月
- 法政大学 大学院情報科学研究科 研究科長
- 2021年4月~2022年3月
- 法政大学 副学長補佐(大学院担当) / 研究科長会議副議長
- 2021年4月~2024年3月
- 国立情報学研究所 研究開発連携 客員教授
学会活動等
- 1993年~現在
- 日本ソフトウェア科学会 正会員 (1998年3月まで学生会員)
- 1999年~現在
- 情報処理学会 正会員
- 1999年~現在
- Association for Computing Machinery (ACM) 正会員
- 2006年~現在
- 電子情報通信学会 正員
- 2007年~現在
- Institute of Electrical and Electronics Engineers, Inc. (IEEE) 正会員
- 2003年4月~2009年3月
- 日本ソフトウェア科学会 企画委員会 委員
- 2003年6月~2005年5月
- 情報処理学会 論文誌編集委員会 基盤技術グループ 委員
- 2003~2004年
- インタラクション2004シンポジウム 実行委員会 委員
- 2004年
- 第1回制約プログラミングに関する日仏ワークショップ(FJCP2004) 組織委員会 委員
- 2004年
- 第12回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2004) プログラム委員会 委員
- 2004~2005年
- インタラクション2005シンポジウム ローカルアレンジメント委員長
- 2005年6月~2006年5月
- 情報処理学会 論文誌編集委員会 基盤技術グループ 副査
- 2005年
- CP2005併設 1st International Workshop on Distributed and Speculative Constraint Processing (DSCP2005) 組織委員会 委員
- 2005年
- 第2回制約プログラミングに関する日仏ワークショップ(FJCP2005) 組織委員会 委員
- 2005年
- 第13回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2005) プログラム委員会 委員
- 2005~2006年
- Asia Pacific Symposium on Information Visualisation 2006 (APVIS2006) 組織委員会/プログラム委員会 委員
- 2005~2006年
- 情報処理学会 論文誌編集委員会 「産学連携論文」特集 編集委員
- 2006年
- 情報処理学会 論文誌編集委員会 「インタラクション技術の原理と応用」特集 幹事
- 2006年
- 21st IEEE/ACM International Conference on Automated Software Engineering (ASE2006) 展示委員長
- 2006年4月~2008年3月
- 情報処理学会 代表会員
- 2006年4月~2018年3月
- 日本ソフトウェア科学会 編集委員会 委員
- 2006年
- CP2006併設 1st International Workshop on Constraint Programming for Graphical Applications (CPGA2006) 組織委員会/プログラム委員会 委員
- 2006年
- 11th Annual Asian Computing Science Conference (ASIAN2006) ローカル組織委員会 委員
- 2006年6月~2007年5月
- 情報処理学会 論文誌編集委員会 情報システムグループ 主査
- 2006年
- 日本ソフトウェア科学会第23回大会 プログラム委員会 委員
- 2006年
- 第14回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2006) プログラム委員会 委員
- 2006~2007年
- インタラクション2007シンポジウム プログラム委員会 委員
- 2006~2007年
- 情報処理学会 論文誌編集委員会 「インタラクションの理解とデザイン」特集 編集委員
- 2007年
- 7th International Symposium on Smart Graphics (SG2007) プログラム委員会 委員
- 2007年
- 第15回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2007) プログラム委員会 委員
- 2007~2008年
- 日本ソフトウェア科学会 編集委員会 「インタラクティブシステムとソフトウェア」特集(26巻1号) 編集委員
- 2007~2008年
- 情報処理学会 論文誌編集委員会 「産学連携論文」特集 編集委員
- 2007~2008年
- 2008 IEEE Pacific Visualization Symposium (PacificVis2008) 財務委員長
- 2007年
- GD2007併設 Workshop on Constraint-Based Layout of Diagrams and Documents (CBLDD) 組織委員会 委員
- 2007~2008年
- インタラクション2008シンポジウム プログラム委員会 委員
- 2007~2008年
- 情報処理学会 論文誌編集委員会 「メディアインタラクション研究の発展」特集 編集委員
- 2008~2023年
- IEEE Computer Society (IEEE CS) 正会員
- 2008年
- 14th International Conference on Principles and Practice of Constraint Programming (CP2008) プログラム委員会 委員
- 2008年
- 8th International Symposium on Smart Graphics (SG2008) プログラム委員会 委員
- 2008年
- 日本ソフトウェア科学会 編集委員会 「論理と推論技術の展開」特集 編集委員
- 2008年
- 日本ソフトウェア科学会第25回大会 プログラム委員会 委員
- 2008年
- 第16回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2008) プログラム委員会 委員
- 2008~2009年
- 日本ソフトウェア科学会 編集委員会 「インタラクティブシステムとソフトウェア」特集(27巻1号) 編集委員
- 2008~2009年
- インタラクション2009シンポジウム プログラム委員会 委員
- 2008~2009年
- 情報処理学会 論文誌編集委員会 「インタラクションの基盤技術,デザインおよび応用」特集(51巻2号) 編集委員
- 2009年
- 9th International Symposium on Smart Graphics (SG2009) プログラム委員会 委員
- 2009~2010年
- インタラクション2010シンポジウム プログラム委員会 委員
- 2010~2011年
- 日本ソフトウェア科学会 編集委員会 「インタラクティブシステムとソフトウェア」特集(28巻2号) 編集委員
- 2010~2011年
- 情報処理学会 論文誌編集委員会 「インタラクションの基盤技術,デザインおよび応用」特集(52巻2号/4号) 編集委員
- 2010年
- 10th International Symposium on Smart Graphics (SG2010) プログラム委員会 委員
- 2010年
- IMCSIT2010併設 Workshop on Computational Optimization (WCO’10) プログラム委員会 委員
- 2010年
- 日本ソフトウェア科学会第27回大会 プログラム委員長
- 2010~2011年
- 日本ソフトウェア科学会 編集委員会 「ソフトウェア論文」特集(28巻4号) 編集委員
- 2010~2011年
- インタラクション2011シンポジウム プログラム委員会 委員
- 2011~2012年
- 情報処理学会 論文誌編集委員会 「インタラクションの理解および基盤・応用技術」特集(53巻4号) 編集委員
- 2011年
- 国立情報学研究所 オープンハウス2011 実行副委員長
- 2011年
- 11th International Symposium on Smart Graphics (SG2011) プログラム委員会 委員
- 2011年
- FedCSIS2011併設 Workshop on Computational Optimization (WCO2011) プログラム委員会 委員
- 2011年
- 日本ソフトウェア科学会第28回大会 プログラム委員会 委員
- 2011~2012年
- 日本ソフトウェア科学会 編集委員会 「ソフトウェア論文」特集(29巻4号) 編集委員
- 2011~2012年
- インタラクション2012シンポジウム プログラム委員会 委員
- 2012年
- 日本ソフトウェア科学会 編集委員会 WISS推薦論文(29巻4号) 編集委員
- 2012年
- NII湘南会議 “Parallel Methods for Constraint Solving and Combinatorial Optimization” オーガナイザ
- 2012年
- 国立情報学研究所 オープンハウス2012 実行委員長
- 2012~2013年
- 情報処理学会 論文誌編集委員会 「インタラクションの理解および基盤・応用技術」特集(54巻4号) 編集委員
- 2012年
- FedCSIS2012併設 Workshop on Computational Optimization (WCO2012) プログラム委員会 委員
- 2012年6月~2016年5月
- 日本ソフトウェア科学会 理事 (編集担当)
- 2012年6月~2016年5月
- 日本ソフトウェア科学会 代表会員
- 2012~2013年
- 日本ソフトウェア科学会 編集委員会 「ソフトウェア論文」特集(30巻4号) 編集委員
- 2012~2013年
- インタラクション2013シンポジウム プログラム委員会 委員
- 2012年12月~2014年11月
- 日本学術振興会 科学研究費委員会 第1段審査委員
- 2013年
- 日本ソフトウェア科学会 編集委員会 WISS推薦論文(30巻4号) 編集委員
- 2013~2014年
- 情報処理学会 論文誌編集委員会 「インタラクションの理解および基盤・応用技術」特集(55巻4号) 編集委員
- 2013年
- FedCSIS2013併設 6th Workshop on Computational Optimization (WCO2013) プログラム委員会 委員
- 2013~2014年
- 日本ソフトウェア科学会 編集委員会 30周年特集 編集委員
- 2013~2014年
- 日本ソフトウェア科学会 編集委員会 「ソフトウェア論文」特集(31巻4号) 編集委員
- 2013~2014年
- 電子情報通信学会 英文論文誌編集委員会 サイバーワールド小特集(E97-D巻8号) 編集委員
- 2013~2014年
- インタラクション2014シンポジウム プログラム委員会 委員
- 2014年
- 7th IEEE Pacific Visualization Symposium (PacificVis2014) プログラム委員会 委員
- 2014年
- 21st European Conference on Artificial Intelligence (ECAI2014) プログラム委員会 委員
- 2014年
- 12th International Symposium on Smart Graphics (SG2014) プログラム委員会 委員
- 2014~2015年
- 情報処理学会 論文誌編集委員会 「インタラクションの理解および基盤・応用技術」特集(56巻4号) 編集委員
- 2014年
- FedCSIS2014併設 7th Workshop on Computational Optimization (WCO2014) プログラム委員会 委員
- 2014~2015年
- 日本ソフトウェア科学会 編集委員会 「ソフトウェア論文」特集(32巻4号) 編集委員
- 2014~2015年
- 電子情報通信学会 英文論文誌編集委員会 フォーマルアプローチ小特集(E98-D巻6号) 編集委員
- 2014~2015年
- インタラクション2015シンポジウム プログラム委員会 委員
- 2015年
- 13th International Symposium on Smart Graphics (SG2015) プログラム委員会 委員
- 2015年
- 8th International Symposium on Visual Information Communication and Interaction (VINCI2015) プログラム委員会 委員
- 2015~2016年
- 情報処理学会 論文誌編集委員会 「インタラクションの理解および基盤・応用技術」特集(57巻4号) 編集委員
- 2015年
- FedCSIS2015併設 8th Workshop on Computational Optimization (WCO2015) プログラム委員会 委員
- 2015~2016年
- 日本ソフトウェア科学会 編集委員会 「ソフトウェア論文」特集(33巻4号) 編集委員
- 2015~2016年
- 電子情報通信学会 英文論文誌編集委員会 フォーマルアプローチ小特集(E99-D巻6号) 編集委員
- 2015~2016年
- インタラクション2016シンポジウム プログラム委員会 委員
- 2016年
- 22nd International Conference on Principles and Practice of Constraint Programming (CP2016) プログラム委員会 委員
- 2016年
- FedCSIS2016併設 9th International Workshop on Computational Optimization (WCO2016) プログラム委員会 委員
- 2016~2017年
- 電子情報通信学会 英文論文誌編集委員会 フォーマルアプローチ小特集(E100-D巻6号) 編集委員
- 2016~2017年
- インタラクション2017シンポジウム プログラム委員会 委員
- 2017年7月~2019年6月
- 日本学術振興会 特別研究員審査会 専門委員
- 2017年
- 26th International Joint Conference on Artificial Intelligence (IJCAI2017) シニアプログラム委員会 委員
- 2017年
- FedCSIS2017併設 10th International Workshop on Computational Optimization (WCO2017) プログラム委員会 委員
- 2017年
- 第25回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2017) 運営委員会 委員(会計担当) / プログラム委員会 委員
- 2017~2018年
- インタラクション2018シンポジウム プログラム委員会 委員
- 2018年
- 24th International Conference on Principles and Practice of Constraint Programming (CP2018) プログラム委員会 委員
- 2018年
- FedCSIS2018併設 11th International Workshop on Computational Optimization (WCO2018) プログラム委員会 委員
- 2018年
- 第26回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2018) 運営委員会 委員(会計担当) / プログラム委員会 委員
- 2018~2019年
- インタラクション2019シンポジウム プログラム委員会 委員
- 2019年
- 25th International Conference on Principles and Practice of Constraint Programming (CP2019) プログラム委員会 委員
- 2019年
- FedCSIS2019併設 12th International Workshop on Computational Optimization (WCO2019) プログラム委員会 委員
- 2019年
- 第27回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2019) 実行委員会 委員(会計担当) / プログラム委員会 委員
- 2019年
- 31st International Conference on Tools with Artificial Intelligence (ICTAI2019) プログラム委員会 委員
- 2019~2020年
- 第9回サイエンス・インカレ 審査委員会 委員
- 2019~2020年
- インタラクション2020シンポジウム プログラム委員会 委員
- 2020年
- 12th International Conference on Computer and Automation Engineering (ICCAE2020) 技術委員会 委員
- 2020年
- FedCSIS2020併設 13th International Workshop on Computational Optimization (WCO2020) プログラム委員会 委員
- 2020年
- 2020 European Symposium on Software Engineering (ESSE2020) 技術委員会 委員
- 2020年
- 第28回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2020) 実行委員会 委員(会計担当) / プログラム委員会 委員
- 2021年
- 10th International Conference on Software and Computer Applications (ICSCA2021) 技術委員会 委員
- 2020~2021年
- 第10回サイエンス・インカレ 審査委員会 委員
- 2020~2021年
- インタラクション2021シンポジウム プログラム委員会 委員
- 2021年
- FedCSIS2021併設 14th International Workshop on Computational Optimization (WCO2021) プログラム委員会 委員
- 2021年
- 2nd European Symposium on Software Engineering (ESSE2021) 技術委員会 委員
- 2021年
- 第29回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2021) 実行委員会 委員(会計担当) / プログラム委員会 委員
- 2022年
- 11th International Conference on Software and Computer Applications (ICSCA2022) 技術委員会 委員
- 2021~2022年
- インタラクション2022シンポジウム プログラム委員会 委員
- 2021〜2022年
- 26th International Conference on Engineering of Complex Computer Systems (ICECCS2022) プログラム委員会 委員
- 2022年
- FedCSIS2022併設 15th International Workshop on Computational Optimization (WCO2022) プログラム委員会 委員
- 2022年
- 30th International Symposium on Graph Drawing and Network Visualization (GD2022) プログラム委員会 委員
- 2022年
- 3rd European Symposium on Software Engineering (ESSE2022) 出版委員長
- 2022年
- JURIX2022併設 International Workshop on AI Compliance Mechanism (WAICOM2022) プログラム委員会 委員
- 2022〜2023年
- 12th International Conference on Software and Computer Applications (ICSCA2023) 広報共同委員長
- 2022~2023年
- インタラクション2023シンポジウム プログラム委員会 委員
- 2022〜2023年
- 27th International Conference on Engineering of Complex Computer Systems (ICECCS2023) プログラム委員会 委員
- 2023年
- FedCSIS2023併設 16th International Workshop on Computational Optimization (WCO2023) プログラム委員会 委員
- 2023年
- 4th European Symposium on Software Engineering (ESSE2023) 出版委員長
- 2023〜2024年
- 13th International Conference on Software and Computer Applications (ICSCA2024) 広報共同委員長
- 2023~2024年
- 第26回プログラミングおよびプログラミング言語ワークショップ(PPL2024) プログラム委員会 委員
- 2023~2024年
- インタラクション2024シンポジウム プログラム委員会 委員
- 2023〜2024年
- 28th International Conference on Engineering of Complex Computer Systems (ICECCS2024) プログラム委員会 委員
- 2024〜2025年
- 14th International Conference on Software and Computer Applications (ICSCA2025) プログラム共同委員長