渡部研究室

About研究室について

安全で信頼できるシステムを、簡単に。

渡部研究室は、安全で信頼できる計算システムの開発を簡単にするための、原理としくみを研究しています。
プログラミング言語、システムソフトウェア、形式手法という複数の分野の技術を組み合わせて取り組みます。
最近は、関数リアクティブプログラミングの言語を使った組込み・制御システムの研究に力を入れています。
研究では、木構造や記号を扱いやすい関数プログラミング言語や、モデル検査器・定理証明支援系といった道具を使います。

Research研究テーマ

プログラミング言語、システムソフトウェア、形式手法をまたいで研究しています。安全に動かすためのしくみ、並行・分散のプログラミングモデル、組込みシステム向けの関数リアクティブプログラミングなどがテーマです。

安全に動くシステム↗

システムを安全に動かすためのしくみを研究しています。プログラムを動かしながら監視・検証する方法や、実行時にセキュリティの方針を守らせるしくみが題材です。

※イメージ画像

プログラミング言語↗

メタレベルアーキテクチャと自己反映計算、並行オブジェクトやアクター、組込みシステム向けの関数リアクティブプログラミングを扱います。

※イメージ画像

形式手法↗

並行して動くシステムを検証する方法と、部品ごとに分けて検証するための抽象化のしくみを研究しています。

ソフトウェア開発↗

人がプログラムを読んで理解する過程（プログラム理解）を対象にしています。フレームワークを使って作られたソフトウェアのコードを読むための支援ツールにも取り組んでいます。

Voices先輩の声

評価・クチコミは、在籍している（していた）学生個人の経験に基づくもので、研究室の公式見解ではありません。クチコミの有無や件数は、研究室の評価を表すものではありません。

インタビューに協力いただいた学生に、内容にかかわらず謝礼（1,000円分のギフト）をお渡しすることがあります。