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