博士 (工学) 早稲田大学
2019 - : 北陸先端科学技術大学院大学 , 先端科学技術研究科 情報科学系 , 准教授
2018 - 2019 : 福井大学 , 学術研究院工学系部門 , 准教授
2015 - 2018 : 福井大学 , 学術研究院工学系部門 , 講師
2013 - 2015 : 東京工業大学 , 大学院情報理工学研究科 , 助教
2011 - 2013 : 独立行政法人日本学術振興会/国立情報学研究所 , 特別研究員
2011 - 2011 : INRIA Saclay/パリ第11大学 , 訪問研究員
2010 - 2011 : INRIA/ナント大学 , 特別研究員
2007 - 2010 : 早稲田大学 , 理工学術院 基幹理工学部 , 助手
2004 - 2006 : (株) 東芝 , 研究・開発センター , 研究員
ソフトウェア
区間解析, 制約プログラミング, ハイブリッドシステム
米国計算機科学会, 電子情報通信学会, 日本ソフトウェア科学会
・ 日本ソフトウェア科学会 ディペンダブルシステム研究会 , 運営委員 , 2016-
・ 日本ソフトウェア科学会 , 『コンピュータソフトウェア』編集委員 , 2015-
・ 電子情報通信学会 システム数理と応用研究会 , 専門委員 , 2015-
・ 優秀論文賞 , 電子情報通信学会 システム数理と応用研究会 , 2015
・ 高橋奨励賞 , 日本ソフトウェア科学会 , 2014