計算機の分散システムでは、どのような時でもユーザはいつも同じ環境で仕事をする事ができるなどの利点があります。 一方、分散化が進み、システム全体を制御する事が困難になります。 このような性質を持つ環境のことを開放系(Open System)と呼びます。私達の研究室では、こうした開放型の環境下で運用されるより良い計算システムの実現に向けて基礎理論と応用の両面から研究活動を行っています。