教員紹介：結縁 祥治(ゆうえん しょうじ)

研究内容

ネットワーク技術の発展とコンピュータの普遍化に伴って、計算が同時進行する並行性（Concurrency）は ソフトウェアシステムに必ず現れる特徴です。並行性を持つソフトウェアは、入力を与えて停止させて結果を得る従来の計算とは異なる特徴を持ち、ユーザーインタフェースや複数のプログラム間の相互作用から正しく動作していることを確かめなければならないため、その振舞いは複雑です。並行性を持つソフトウェアシステムを安定して動作させるためには、新たな振舞いモデルや方法論を確立する必要がありま す 。さまざまな観点からソフトウェアにおける並行性を定式化して、並行ソフトウェアを検証し、予期しない振舞いを発見・修正する手法について研究を行っています。並行ソフトウェアの振舞いを「 通信 」によって特徴づけることによって計算の意味を定義することを基本として、時間経過、確率的振舞いなど、実際的な並行ソフトウェアの検証手法を確立することを目指しています。

所属・連絡先

• 情報システム学専攻・ソフトウェア論講座
• E-mail: yuen [ at ] i.nagoya-u.ac.jp
• Web: http://www.sqlab.jp