経歴

学歴

1988年3月
福島県立安積高等学校 普通科 卒業 (第101期)

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月~現在
国立情報学研究所 研究開発連携本部 客員教授
2015年4月~2017年3月
法政大学 情報科学部 ディジタルメディア学科 学科主任
2017年4月~現在
法政大学 在外研修員 (受入機関:フランス ニースソフィアアンティポリス大学 I3S研究所)

学会活動等

1993年〜現在
日本ソフトウェア科学会 正会員 (1998年3月まで学生会員)
1999年〜現在
情報処理学会 正会員
1999年〜現在
Association for Computing Machinery (ACM) 正会員
2006年〜現在
電子情報通信学会 正員
2007年〜現在
Institute of Electrical and Electronics Engineers, Inc. (IEEE) 正会員
2008年〜現在
IEEE Computer Society (IEEE CS) 正会員
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月〜現在
日本ソフトウェア科学会 編集委員会 委員
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年
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年
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年〜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年
26th International Joint Conference on Artificial Intelligence (IJCAI2017) シニアプログラム委員会 委員
2017年
FedCSIS2017併設 10th International Workshop on Computational Optimization (WCO2017) プログラム委員会 委員
2017年
第25回インタラクティブシステムとソフトウェアに関するワークショップ(WISS2017) 運営委員会 委員(会計担当) / プログラム委員会 委員