研究概要
一般向け
教授 河内 亮周 （かわち あきのり）
次世代ICTである量子コンピューティングおよびIoT/クラウド環境志向の情報セキュリティ基盤技術を研究しています．例えば利用者・サービス提供者の両者のプライバシーを保護しながらサービスの利活用を可能にする秘匿計算プロトコルや分散ネットワーク環境下で不正な利用者がいる前提でも正しく情報共有できるブロックチェーン応用プロトコルについて研究しています．
また量子コンピューティング時代の情報セキュリティ技術についても研究を行っています．
講師 山田 俊行 （やまだ としゆき）
ソフトウェアを分析し，その理解を助け，正しさを検証するための基盤技術を研究しています．例えば，CやJava等によるプログラムを対象として，誤りを自動的に見つけ，不正なプログラムの実行を未然に防ぐための解析法を研究しています．
また，高性能なソフトウェアの基礎となるアルゴリズムの研究をしています．例えば，経路計画問題など，最適な組み合わせを求める問題に対して，入力データの特徴を活かして最適解を短時間で求めるアルゴリズムなどを開発しています．