• 第一に、実世界にあふれる膨大な画像データのセンシング・処理・認識・解析の研究を行っています。特に、サブピクセル分解能の画像解析を可能にする「位相限定相関法」を発案し、個人識別（顔、指掌紋、FKP、虹彩、X 線画像の認識）、マシンビジョン、多視点3D 計測、画像検索、医用画像解析などに応用しています。
• 第二に、世界最高性能の耐タンパー暗号処理技術および生体認証技術を核にしたセキュアICT の基盤システムを研究しています。

画像情報工学、情報セキュリティ、バイオメトリクス、LSI、組込み技術の分野における産学連携を進めることができます。既に多数の企業、大学、研究機関、医療機関などの研究者や技術者が、分野を問わず訪れています。情報知能システム（IIS）研究センターのスタッフがご相談を受け付けます。
info@iisrc.ecei.tohoku.ac.jp

• 膨大な言語データを意味的に解析し必要な情報・知識を抽出する技術、抽出した情報・知識を分類・比較・要約する技術、それらを可能にする世界最速の仮説推論技術など、先進的な自然言語処理技術を研究開発しています。また、これら基盤技術をウェブやソーシャルメディアなどのビッグデータに適用し、大規模な情報・知識マイニングや信頼性の検証支援、耐災害情報処理などに応用する実践的研究も展開しています。

言語意味解析に基づく高度なテキストマイニングによる市場動向調査や技術動向調査、隠れたニーズやリスクの発見、社内文書の構造化・組織化による知識管理支援、対話システムなど、多様な分野・業種との連携が可能です。

• 電源を切ってもデータを記憶し続ける不揮発性デバイスを、メモリだけでなく、CPUなどの演算器やシステム全体の構成に積極的に活用する回路・システム構築方法が「不揮発性ロジック」です。本テーマでは、不揮発性デバイスに「回路構造情報」を記憶することで、製造プロセス（P）や電源電圧（V）、温度（T）などに起因する回路特性バラつきに対して頑健な回路を、少ないオーバーヘッドで実現できる回路構成を提案しています。

この成果は、今後微細化が益々進行する超微細LSI の高信頼化・高性能化に大いに寄与する技術であり、これに関連する分野で有意義な共同研究ができるものと考える。

• プログラムの効率の改善や形式的検証に関する研究を行っている。短期間で記述したプログラムは実行時間やメモリ使用量について非効率的であることが多いが、この問題に対し、プログラム変換によって機械的に改善する手法の開発に取り組んでいる。また、大規模なプログラムはその複雑さから予期せぬバグを含みやすいが、この問題に対しては、プログラム検証やモデル検査とよばれる数学的手法によって実行前に網羅的に検証する研究も進めている。

通常のソフトウェア開発では有限個のテストを通じて動作確認が行われるが、モデル検査器や定理証明支援系などのツールを用いることで、無限個の入力に対して動作が保証されたプログラムの作成を実現できる。

• 不特定多数のユーザ端末が供出する空きストレージとブロックチェーンを活用して、高度な安全性を実現するP2P型ストレージの構築技術を開発しています。構築ストレージは、中央管理サーバの問題に起因する保存データの大規模情報漏洩リスクも回避可能です。また、暗号通貨を報酬と利用料に使用し、全ユーザの公平なストレージ利用も実現します。さらに、実用的なデータ商取引を可能にするスマートコントラクト技術も開発しています。

ブロックチェーン技術を活用したスマートコントラクトやフィンテックなどのBitcoin2.0 型アプリケーション、モノインターネット（IoT）、医療情報データベース関連などの開発を行う企業との共同研究を希望します。