教員紹介:西田 直樹(にしだ なおき)
研究内容
バグのない高信頼なソフトウェアを作成することは現代社会において非常に重要です。通常はプログラムが正しいことを検証することで高信頼なプログラムを開発します。私の研究では、関数型言語だけでなく命令型言語の計算モデルとも言える制約付 ...
教員紹介 森崎 修司 (もりさき しゅうじ)
情報システム学専攻 准教授
研究分野: ソフトウェアエンジニアリング分野
ソフトウエアの高品質化やソフトウエア開発活動の効率化のための技術やしくみを実証的に議論するエンピリカルソフトウエア工学を専門としています。 ...
教員紹介: 増田 豊 (ますだ ゆたか)
研究内容集積回路の潜在能力を引き出す設計技術
私たちが日々利用する情報技術は、全て集積回路を利用しています。集積回路には、数10億個などの膨大な数のトランジスタ (回路を構成する基本パーツ) が搭載されていますが、実はこれらのトランジ ...