Awards and Honors
- 2025年度情報処理学会コンピュータサイエンス領域功績賞受賞
- 情報処理学会フェロー（2025-)
- 2024年度電子情報通信学会論文賞
- 2023年度情報処理学会 研究会活動貢献賞
- 情報処理学会シニア会員（2024-)
- Workshop on Synthesis And System Integration of Mixed Information Technologies Outstanding Paper Award (2022年10月）
- VLSI-DAT 2019 Best Paper Candidate
- Workshop on Synthesis And System Integration of Mixed Information Technologies Outstanding Paper Award (2018年3月）
平成30年度 電子情報通信学会基礎・境界ソサイエティ 貢献賞
- IEEE 関西支部メダル(2014年2月）
- ASP-DAC 2014 Best Paper Nomination
- IEEE Senior Member (2013～)
- 平成22年度丸文学術賞 (2011/03)
- 情報処理学会平成22年度山下記念研究賞 (2011/03)
- 電子情報通信学会シニア会員 (2010～)
- The 16th Workshop on Synthesis And System Integration of Mixed Information technologies Best Paper Award (2010/10)
- 奈良先端科学技術大学院大学 情報科学研究科 ベストティーチング賞 (2005年3月)
- The 2000 IEEE Circuits and Systems Society Transactions on Computer-Aided Design of Integrated Circuits and Systems Best Paper Award (2001.6.19)
- 1997年度 NTT コミュニケーション科学研究所 所長表彰受賞 (研究賞 「FPGA向けの論理回路簡単化に関する研究」)
指導した学生さんの受賞
- 清野恭平, “SMTソルバを用いたNNA制約を満たす量子回路の合成手法”, 電子情報通信学会 VLD Excellent Student Award（2023年3月）
- Kyohei Seino, Workshop on Synthesis And System Integration of Mixed Information Technologies Outstanding Paper Award (2022年10月）
- Satoru Maruyama, Workshop on Synthesis And System Integration of Mixed Information Technologies Outstanding Paper Award (2018年3月）
- 六車利津子 報処理学会システムとLSIの設計技術研究会 優秀発表学生賞（2017年9月）
- Nurul Ain Binti Adnan 情報理工学研究科研究奨励賞（2017年4月）
- ⼩野⽥ 将⼈ 2016 年度情報処理学会関西支部学生優秀発表賞受賞 (2016年9月26日)
- 羽田 健太郎2016 年度情報処理学会関西支部支部大会奨励賞受 (2016年9月26日)
- 松本涼平情 報処理学会システムとLSIの設計技術研究会 優秀発表学生賞（2016年9月14日）
- 六車利津子 情報理工学研究科研究奨励賞（2016年3月）
- 櫛田 耕平 2015 年度情報処理学会関西支部学生奨励賞受賞学 2015年9月
- Trung Anh Dinh, “A Network-Flow-Based Optimal Sample Preparation Algorithm for Digital Microfluidic Biochips”, 電子情報通信学会 VLD Excellent Student Award（2014年3月）
- Digital Microfluidic Biochip向けの最適な試料生成提案 (163回システムLSI設計技術研究発表会 優秀発表学生賞受賞)
- 早苗駿一:PPCに基づく高歩留まり回路の発見的設計手法 (163回システムLSI設計技術研究発表会 優秀発表学生賞受賞)
- 松尾惇士 IEEE Student Branch English Presentation Competition 2011でExcellent Award受賞(2011年10月）
- 青木洋士 4th Asian Joint Workshop on ITでBest Poster Award受賞(2012年10月)
- 大賀健司:少品種高信頼セルを用いた高信頼回路設計手法と信頼性評価手法の提案 (2010 SLDM 研究会 優秀発表学生賞受賞)
履歴
- 1989 年（兵庫県）甲陽学院高等学校卒業
- 1993 年 京都大学工学部情報工学科卒業
- 1995年 京都大学大学院工学研究科情報工学専攻修了
- 1995年 日本電信電話株式会社 ＮＴＴコミュニケーション科学基礎研究所 研究員
- 2000 年 科学技術振興事業団 ERATO 今井 量子計算機構プロジェクト 研究員（兼務）
- 2001 年 京都大学博士 (情報学)
- 2003年 奈良先端科学技術大学院大学 情報科学研究科 助教授（2007より職名変更により准教授）
- 2009年より現職
- 2006 年 6月-7月 ビクトリア大学訪問研究員
- 2006年 10月 ポートランド州立大学訪問研究員
- 2012年 4 月より2017年3月 国立情報学研究所・客員教授
- 2014年 4 月より総合科学技術研究機構 /ＶＬＳＩセンター 所属（兼務）
- 2019年～文科省さきがけ量子情報処理領域アドバイザー
- 2019年10月より東京大学大学院情報理工学研究科・非常勤講師
- 2020年 9月ミュンヘン工科大 Global Visiting Professoro
研究業績
研究歴
- ＮＴＴコミュニケーション科学基礎研究所適応アーキテクチャ研究グルー プ (1995-2000)
再構成可能ハードウェアおよびそれ向けの論理合成手法に関する研究に従事。
このグループでの研究は，横須賀の未来ねっと研究所で引き継がれています．現在、そこでは，PCAという再構成可能なアーキテクチャを開発されています．
- ＮＴＴコミュニケーション科学基礎研究所 情報基礎 理論計算グループ (2000-2003) および 科学技術振興事業団 ERATO 今井 量子計算機構プロジェクト 兼務(2000-2003)
量子計算に関して、計算機科学的な分野の研究に従事。ちなみに、量子計算に関して，NTTでは物性面からの研究と計算機科学の面からの研究をやっていますが、私が所属していたNTTコミュニケーション科学基礎研究所では、計算機科学からの研究をやっています．
- 奈良先端科学技術大学院大学 情報科学研究科 コンピューティングアーキテクチャ講座 (2003-2009)
量子計算、再構成可能計算機アーキテクチャ、故障に強いＬＳＩの設計方法等の研究に従事。
2010年以降の業績リスト (2010年までの情報はこちら)
- ここに研究室の業績として大体まとめています。
- 立命館の研究者学術情報データベース
- 以下は、Research Mapへのリンク（ちゃんとメンテされていないかもしれません）。
海外からの長期受け入れ実績（その他，留学生は多数）
- Internship student from Birla Institute of Technology And Science, Pilani, June 1 to July 31, 2026
- LOTUSプログラム により、2026年６月から2027年3月の間IIT Roorkeより、博士課程の学生を受け入れ
- Internship student from Indira Gandhi Delhi Technical University for Women, June 1 to June 30, 2026
- Internship student from Netaji Subhas University of Technology, May. 11, 2025 to Jul. 21, 2025
- JSPS Bilateral Joint Research Project (2024-2026) with Prof. Ankur Gupta (Netaji Subhas University of Technology, India)
- 外国人特別研究員: Dr. Debraj Kundu (Nov. 2023 to March 2024)
- JSPS外国人招へい研究者: Dr. Sudip Roy (Indian Institute of Technology Roorke) , May 2021 to Feb. 2022
- Dr.-Ing. Tsun-Ming Tseng (Technical University of Munich), Jan. 2019.
- Dr. Sudip Podar (Indian Statistical Institute, Kolkata), Jan. 2019.
- Dr. Sudip Roy (Indian Institute of Technology Roorke) May to June, 2018
- Internship student from Columbia University (USA) Jan. 1 to Jan. 14, 2018
- JSPS Bilateral Joint Research Project (2017-2019) with Dr. Sudip Roy (Indian Institute of Technology Roorke)
- Ankur Gupta (Nov.25, to Dec.19, 2017)
- Dr. Sudip Roy (Feb. 2018)
- Internship student from BITS Pilani University (India) Dec. 16, 2016 to Jan. 24, 2017
- JSPS外国人招へい研究者: Prof. Chun-Yao Wang (Taiwan) Jun. 10 to Aug. 8, 2016
- Internship student from IIT Kanpur (India) May. 6, 2016 to May. 30 2016
- JSPS外国人招へい研究者: Prof. Tsung-Yi Ho (Taiwan) Nov. 20, 2014 to Jan. 22, 2015
- Internship student from IIT Guwahat (India) May. 8, 2012 to Jul. 14, 2012
- JSPS外国人招へい研究者: Prof. Tsung-Yi Ho (Taiwan) Jan. 20, 2012 to Mar. 9, 2012
- Internship student from IIT Kanpur (India) May. 11, 2015 to Jul. 21, 2015
- A trainee from Mexico May 6, 2010 to Oct. 29, 2010
- Dr. Byung-Soo Choi (Korea) Jul. 27, 2010 to Sep. 1, 2010
獲得外部資金のリスト(2012年４月以降）それまでのリストはこちら
- 科学技術研究費：代表
- 基盤研究(B):液滴の混合場所と移動経路を同時に最適化するPMD型バイオチップの設計理論の構築 2026年4月 – 2029年3月
- 挑戦的研究(萌芽)：量子状態の位相と論理値の情報を同時に扱う量子回路設計理論の構築2024年6月-2026年3月
- 学術変革領域研究(A): 量子アルゴリズムの理論と実装を接続する革新的基盤の創出 2020年11月 – 2024年3月
- 基盤研究(B):ラボオンチップ向けの設計理論の確立と実用的な設計自動化システムの開発 2020年4月 – 2024年3月
- 挑戦的研究(萌芽)：測定型量子回路の設計理論の構築 2018年4月 – 2021年3月
- 基盤研究(B)：誤動作する確率のある次世代素子を積極的に活用するハードウェア設計理論 2015年4月1日～2020年3月31日
- 新学術領域研究(研究領域提案型)：量子力学からの計算限界解明へのアプローチ 2012年6月28日～2017年3月31
- 基盤研究(B)：小さい面積・性能オーバーヘッドで故障を回避する論理回路レベルの設計技術の確立 2011年4月1日～2015年3月31日
- 科学技術研究費：分担
- 基盤研究(A)：量子最適化計算の拡張定式化による新基軸確立とその古典・量子計算両面での問題解決（代表：今井 浩 2015年4月1日～2020年3月31日)
- 基盤研究(A)：量子グラフ理論確立による量子計算能力の限界解明 （代表：今井 浩 ）2011年5月31日～2015年3月31日
- 科研費以外
- 2025年度 栢森情報科学振興財団 位相を反転する量子回路を量子ブール回路を経由しないで設計する手法の開発
- 2024-2030: 戦略的創造研究推進事業（CREST） 「古典計算との協調利用による誤り耐性量子 計算機の利用方法の開拓」研究代表（研究領域：「量子・古典の異分野融合による共創型フロンティアの開拓」）
- 2024年度日本学術振興会の2国間交流事業 Netaji Subhas University of TechnologyのAnkur Guptaとの共同研究への助成
- 2024年度, 2025年度国際共同研究促進プログラム
- 2017年度 旭硝子財団自然科学系「研究奨励」
- 2017年度日本学術振興会の2国間交流事業 Indian Institute of Technology RoorkeのSudip Royとの共同研究への助成
- 2016年度研究成果国際発信プログラム
- 平成27年度 国立費情報学研究所共同研究 TCSQC向けのSolovay-Kitaevの理論に基づいた量子回路設計手法とGPUを用いたその並列実装
- 学内基盤研究（２０１５年度） 物理設計と論理設計の融合によるデジタルマイクロ流体バイオチップの設計理論の構築
- 平成26年度 国立費情報学研究所共同研究 3D Compaction Problem for Topological Cluster State Quantum Computation
- 平成25年度学術研究振興資金 極めて信頼性の低い次世代素子を用いた回路の高信頼化手法
- 平成25年度 国立費情報学研究所共同研究 2D Qubit Layout Problems for Topological Cluster State Quantum Computation
- 平成24年度稲盛財団研究助成 必要最小限の機能の書き換えが可能な回路において設計仕様を効率的に変更するための設計理論の確立
- 2011年度研究成果国際発信プログラム
H.23 国立情報学研究所一般研究企画型共同研究 「Program Optimization Techniques for Topological Cluster State Quantum Computation」
- 2011年度総合理工学研究機構グループ型研究プログラム：故障に強いLSI設計プロジェクト
学会活動などのリスト
（2009年9月までの情報はこちら，以下は2012年ごろまでのもの）
| 2012-2016 科研費新学術領域「計算限界解明」総括班 |
| 2012/04-2016/03 情報処理学会システムLSI設計技術研究会運営委員 |
| 2012- 最先端研究開発支援プログラム量子情報処理プロジェクト夏期研修会2012講師「計算機科学の視点からの量子アルゴリズムの応用例」 |
| 2010/04- 電子情報通信学会コンピュテーション研究会専門委員 |
| 2002/11- 量子情報技術時限研究専門委員会委員 |
| 2004/11-2006/11 量子情報技術時限研究専門委員会幹事 |
| 2003/05-2005/09 ERATO今井量子計算機構プロジェクト研究推進委員 |
| 2004-2008 情報処理学会論文誌編集委員 |
| 2005/11- 情報処理学会論文誌「量子計算と量子情報」特集号編集委員 |
| 2019-2020 IEEE Editorial Board Member of IEEE Circuits and Systems Magazine (CAS-M) |
| 2019-2020 Guest editor of CCF Transactions on High Performance Computing Special Issue on Disruptive Computing Technologies. |
| 2005/06- 情報処理学会論文誌「システムLSIの設計技術と設計自動化」特集号編集委員 （2005年6月号） |
| 2006/06- 情報処理学会論文誌「システムLSIの設計技術と設計自動化」特集号編集委員 （2006年6月号） |
| 2007/05- 情報処理学会論文誌「システムLSIの設計技術と設計自動化」特集号編集委員 （2007年5月号） |
| 2007/05- 電子情報通信学会論文誌「量子情報処理」 編集委員長 |
| 2007- 電子情報通信学会論文誌「VLSI Design and CAD Algorithms小特集」編集委員（2007) |
| 2009-2019 電子情報通信学会論文誌「VLSI Design and CAD Algorithms小特集」編集委員（2009-2020) |
| 2014-2019 電子情報通信学会論文誌英文誌A Special Section on “Design Methodologies for System on a Chip”編集委員（2014-2019) |
| 2015- 電子情報通信学会英文論文誌「理論計算機科学 (FCS2015)」特集号 編集委員 |
| 2019-2020 IEICE 回路とシステム(CAS)小特集号2020 編集委員 |
| 2009/05- 電子情報通信学会論文誌「量子情報処理」 編集委員（2009年5月号） |
| 2012- Editorial Board of International Journal on Advances in Systems and Measurements |
| 2004- SASIMI Technical Program Committee Member (2004) |
| 2006- SASIMI Technical Program Committee Member (2006) |
| 2010- SASIMI Technical Program Committee Member (2010) |
| 2014- SASIMI Technical Program Committee Member (2015) |
| 2015- SASIMI Technical Program Committee Member (2015) |
| 2019- SASIMI Technical Program Committee Member (2019) |
| 2007- SASIMI Technical Program Committee Secretary (2007) |
| 2009- SASIMI Technical Program Committee Secretary (2009) |
| 2012- SASIMI Secretary |
| 2013- SASIMI Secretary |
| 2007- Nara Advanced Interdisciplinary Workshop on Quantum Information Science Technical Program Committee Chair |
| 2003- EQIS Organizing Committee Member |
| 2015- AQIS Steering Committee Member |
| 2007- AQIS Organizing Committee Chair |
| 2008- AQIS Organizing Committee Member (2008) |
| 2009- AQIS Organizing Committee Member (2009) |
| 2011- AQIS Organizing Committee Member (2011) |
| 2012- AQIS Organizing Committee Member (2012) |
| 2013- AQIS Organizing Committee Member (2013) |
| 2014- AQIS Organizing Committee Chair (2014) |
| 2015- AQIS Organizing Committee Member (2015) |
| 2016- AQIS Organizing Committee Member (2016) |
| 2017- AQIS Organizing Committee Member (2017) |
| 2018- AQIS Organizing Committee Member (2018) |
| 2008- AQIS Technical Program Committee Member (2008) |
| 2009- AQIS Technical Program Committee Member (2009) |
| 2010- AQIS Technical Program Committee Member (2010) |
| 2011- AQIS Technical Program Committee Member (2011) |
| 2012- AQIS Technical Program Committee Member (2012) |
| 2007- 総務省 戦略的情報通信研究開発推進制特定領域重点型研究開発プロジェクト委員 |
| 2019- JSTさきがけ「革新的な量子情報処理技術基盤の創出」の領域アドバイザ |
| 2007- 名古屋大学大学院情報科学研究科 非常勤講師 情報システム学特別講義I |
| 2012- Editorial Board of International Journal on Advances in Systems and Measurements (2012-) |
| 2004- ASP-DAC Technical Program Committee Member (2004) |
| 2006- ASP-DAC Technical Program Committee Member (2006) |
| 2007- ASP-DAC Technical Program Committee Member (2007) |
| 2008- ASP-DAC Technical Program Committee Member (2008) |
| 2009- ASP-DAC Technical Program Committee Member (2009) |
| 2010- ASP-DAC Technical Program Committee Member ( 2010) |
| 2011- ASP-DAC Technical Program Committee Member (2011) |
| 2011- ASP-DAC Technical Program Committee Member (2012) |
| 2018- ASP-DAC Technical Program Committee Member (2018) |
| 2018- IEEE the Selection Committee for DATE PhD Forum 2019 |
| 2019- ASP-DAC Technical Program Committee Member (2019) |
| 2019- IEEE Design, Automation & Test in Europe (DATE) Technical Program Committee Member (2020) |
| 2019- IEEE the Selection Committee for DATE PhD Forum 2020 |
| 2014- ASP-DAC Technical Program Committee Secretary (2014) |
| 2006-2009 Workshop on Theory of Quantum Computation, Communication and Cryptography Technical Program Committee Member （2006-2009) |
| 2009- International Conference on Quantum, Nano, and Micro Technologies Technical Program Committee Member （2009) |
| 2010- International Conference on Quantum, Nano, and Micro Technologies Technical Program Committee Member （2010) |
| 2011- International Conference on Quantum, Nano, and Micro Technologies Technical Program Committee Member （2011) |
| 2012- International Conference on Quantum, Nano, and Micro Technologies Technical Program Committee Member （2012) |
| 2013- International Conference on Quantum, Nano, and Micro Technologies Technical Program Committee Member （2013) |
| 2013/10-2016/09 電気学会 位相エンジニアリングに基づく低温エレクトロニクス調査専門委員会 |
| 2014- Conference on Reversible Computation Chair |
| 2015/01-2015/08 ICALP 2015 Workshop on Quantum Computational Complexity Organizing Committee Chair |
| 2015/01-2016/12 IEEE Computer Society Kansai Chapter Vice Chair |
| 2016/04-2018/03 電子情報通信学会 基礎・境界ソサエティ運営委員会 大会担当幹事 |
| 2016- IEEE IEEE International Conference on VLSI Design Technical Program Committee Member (VSLSID) 2016 |
| 2017/01-2019/01 IEEE Computer Society Kansai Chapter Chair |
| 2017/05-2017/05 電子情報通信学会 量子情報技術時限研究専門委員会 QIT36実行委員会委員長 |
| 2017- 第36回量子情報技術研究会 実行委員長 |
| 2017- Conference on Reversible Computation 2017 PC Member |
| 2017- 日本オペレーションズ・リサーチ学会 2018年6月号「量子コンピュータ」オーガナイザ |
| 2017- IEEE International Symposium on VLSI Design and Test TPC Member 2017 |
| 2017- Euromicro DSD Conference 2017 PC Member |
| 2017- IEEE IEEE International Conference on VLSI Design Technical Program Committee Member (VSLSID) 2017 |
| 2018/04-2020/03 情報処理学会 情報処理学会関西支部 幹事 |
| 2018- Euromicro DSD Conference 2018 PC Member |
| 2018- IEEE IEEE International Conference on VLSI Design Technical Program Committee Member (VSLSID) 2018 |
| 2018- IEEE International Symposium on VLSI Design and Test TPC Member 2018 |
| 2019/04-2020/03 情報処理学会 情報処理学会2019年度代表会員 |
| 2019/04-2022/03 情報処理学会 量子ソフトウェア研究運営委員会 幹事 |
| 2019- Conference on Reversible Computation 2019 PC Member |
| 2019- Euromicro DSD Conference 2019 PC Member |
| 2019- IEEE IEEE International Conference on VLSI Design Technical Program Committee Member (VSLSID) 2019 |
| 2019- IEEE International Symposium on VLSI Design and Test TPC Member 2019 |
| 2019- Conference on Reversible Computation 2019 PC Member |
| 2020- Euromicro DSD Conference 2020 PC Member |
| 2020- IEEE International Conference on Very Large Scale Integration 2020 PC Member |