本ページでは競争的資金の全リストを載せています．
競争的資金
- 科学研究費補助金 基盤研究（Ｂ） 「AIを活用したサイバーフィジカルシステムのテスト、解析、及び修復に関する研究」（2023～2025年度，研究分担者）
- 科学研究費補助金 基盤研究（Ｂ） 「要求と実装のトレーサビリティー追求による深層学習システムの高品質化」（2021～2024年度，研究代表者）
- 科学技術振興機構 未来社会創造事業 探索加速型 「超スマート社会の実現」領域 「機械学習を用いたシステムの高品質化・実用化を加速する“Engineerable AI”技術の開発」 （2019～2024年度，研究代表者）
- 科学研究費補助金 基盤研究（Ｂ） 「ステートフル深層学習システムに対する総合的解析と修復技術の確立」（2020～2022年度，研究分担者）
- 科学技術振興機構 未来社会創造事業 探索加速型 「超スマート社会の実現」領域 「高信頼な機械学習応用システムによる価値創造」 （2018年11月～2019年3月，研究分担者）
- 科学研究費補助金 基盤研究（Ｂ）「IoT向け自律協調自己適応機構とその形式検証手法の研究」（2018～2021年度，研究分担者）
- 科学研究費補助金 特別研究員奨励費 「異種ユビキタスプラットフォームを横断する，保障を伴う自己適応に関する研究」 （2016～2018年度，平成30年度より研究代表者）
- 科学研究費補助金 基盤研究（Ｂ） 「保証付き多段階システムモデルの柔軟・継続的な洗練・進化」（2017～2020年度，研究代表者）
- 科学研究費補助金 基盤研究（Ａ） 「しなやかなシステムを実現するマルチビュー実行時モデルフレームワーク」（2017～2021年度，研究分担者）
- 科学技術振興機構 創造科学技術推進事業（JST-ERATO） 「蓮尾メタ数理システムデザインプロジェクト」（2016～2021年度，研究分担者・グループリーダー）
- 情報通信研究機構 / H2020 欧州との連携による公共ビッグデータの利活用基盤に関する研究開発 "BigClouT: Big data meeting Cloud and IoT for empowering the citizen clout in smart cities" （2016年7月～2019年6月，研究分担者）
- 科学研究費補助金 挑戦的萌芽研究 「実行時ゴールモデル追跡による想定外の検出」（2015～2016年度，研究代表者）
- 科学研究費補助金 若手研究（Ａ） 「段階的詳細化における複雑さの分散と整合性の保証に関する研究」（2014～2016年度，研究代表者）
- FP7/NICT FP7-EU-Japan STREP（新世代ネットワークの実現に向けた欧州との連携による共同研究開発） "ClouT: Cloud of Things for empowering the citizen clout in smart cities"（2013～2015年度，プラットフォーム日本側リーダー）
- IPA ソフトウェア工学分野の先導的研究支援事業 「形式仕様とテスト生成の部分的・段階的な活用～探索を通したコード中心インクリメンタル型開発の支援」（2013～2014年度，研究責任者）
- 科学研究費補助金 挑戦的萌芽研究 「要求工学の応用による，法とその解釈のモデル化・分析」 （2012～2013年度，研究代表者）
- 科学研究費補助金 基盤研究（Ａ） 「想定外に備えた空間制御ソフトウェアの分析・設計・検証手法」 （2012～2014年度，研究分担者）
- 科学研究費補助金 若手研究（Ｂ） 「サービス合成において整合性ある契約管理を実現するフレームワークの研究開発」 （2008～2010年度，研究代表者）
- 科学研究費補助金 若手スタートアップ 「サービス合成において契約間の整合性を検証，実現するツールに関する研究」 （2007年度，研究代表者）
- 科学研究費補助金 基盤研究（Ａ) 「オープン無線センサーネットワークのためのミドルウェアに関する研究」 （2007～2009年度，研究分担者）