萩谷 昌己

萩谷 昌己はぎや まさみ

萩谷 昌己
職名 教授
所属 情報理工学系研究科 情報科学科
メールアドレス

居室 理7号館2階203号室
電話番号 03-5841-4113/03-5841-4093 | 24113/24093(内線)


研究分野

形式的手法・理論計算機科学

研究テーマ

計算モデル・形式的検証・プログラミング言語・分子コンピューティング

研究内容の概要

計算システムをモデル化し、特に演繹的な方法を用いて、その性質を計算機上で検証することに興味を持っている。最近では、電子計算機から成る計算システム以外にも、生物系や分子系に内在する計算モデルも研究の対象としている。特に、分子コンピューティングの研究を行っている。また、生物系や分子系をモデル化する手法としてハイブリッド・システムに興味を持っている。

キーワード

計算モデル・形式的検証・自動演繹・プログラミング言語・ハイブリッドシステム・分子コンピューティング・DNAコンピュータ

外部リンク