簡単かつ高性能な並列分散コンピューティング

主な研究分野は、並列処理、大規模データ処理、セキュリティ、プライバシーのためのシステムソフトウェア（プログラミング言語、ライブラリ、オペレーティングシステム）です。特に、高性能な計算を高水準（簡単）なプログラミングで実現するためのソフトウェアの実現を目指しています。