「正しいプログラムを簡単に作るための研究をしています」

松崎研究室では、プログラム（特に、並列計算機を動かすための並列プログラム）を正しくかつ簡単に作れるようにする研究を行っています。並列計算は、近年の計算機ハードウェアが進化するにつれて、ますます重要になっています。しかし、効率が良く正しい並列プログラムを作成することは、考えなければいけないことが多く非常に難しいものとなっています。これを解決するために、「関数プログラミング」や「パターンに基づくプログラミング」などの理論や手法を取り入れ、より良い並列プログラミングの作成手法を開発しています。