情報システム学専攻

私たちは「組込み並列処理」について研究しています。並列処理といえば、スーパーコンピュータが有名ですが、もっと身近なところにもたくさんあります。例えば、スマートフォンにも並列プロセッサが搭載されており、並列に動作していますし、テ ...

組込みシステムは、単に自動車や家電に組み込まれる制御用コンピュータという位置付けから、製品に付加価値を生む計算プラットフォームや、互いに連携して大規模な分散システムを形成するノードといった、社 会を支える役割を担うようになって ...

准教授

「計算」と「論理」という一見独立しているように見える二つの概念の間には実は密接な関係があり、この関係は古くから計算機科学と数理論理学の両面から研究されています。この関係を通して、プログラムの意味の

バグのない高信頼なソフトウェアを作成することは現代社会において非常に重要です。通常はプログラムが正しいことを検証することで高信頼なプログラムを開発します。私の研究では、関数型言語だけでなく命令型言語の計算モデルとも言える制約付 ...

情報システム学専攻 准教授
研究分野: ソフトウェアエンジニアリング分野

ソフトウエアの高品質化やソフトウエア開発活動の効率化のための技術やしくみを実証的に議論するエンピリカルソフトウエア工学を専門としています。 ...