萩谷 昌己
| 名前 | 萩谷 昌己 / HAGIYA Masami |
|---|---|
| 学位 | 理学博士（京都大学） |
| 職名 | 教授 |
| 所属 | 大学院情報理工学系研究科
コンピュータ科学専攻コンピュータ科学講座 |
| 所属サイトURL | http://www.i.u-tokyo.ac.jp/ |
| 専門分野 | コンピュータ科学 |
| 研究テーマ | 計算モデルの解析・検証・合成 |
| 研究テーマに関するキーワード | 計算理論，プログラム理論，数理論理学，プログラム言語論，ソフトウェア工学，形式手法，分子計算，生命分子計算，ＤＮＡコンピュータ |
| 実績等URL | http://hagi.is.s.u-tokyo.ac.jp/index.html |
| Scopusページへのリンク | Scopus |
科研費（最新10件）
| 審査区分／研究分野 | |
|---|---|
| 研究課題キーワード |
