情報システム学専攻

准教授

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

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

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

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