HAGIYA Masami
| Name | 萩谷 昌己 / HAGIYA Masami |
|---|---|
| Degree | PhD |
| Occupation | Senior Professor |
| Affiliation | Graduate School of Information Science and Technology |
| Affiliation site URL | https://www.i.u-tokyo.ac.jp/index_e.shtml |
| Specialty | computer science |
| Research theme(s) | analysis,verification and synthesis of computational models |
| Keywords related to research themes | theory of computing,theory of programs,mathematical logic,programming languages,software engineering,formal methods,molecular computing,biomolecular computing,DNA computer |
| Scopus Link to individual page | Scopus |
KAKEN (Latest 10)
| Review Section/Research Field | |
|---|---|
| Keywords |
Research Project
Related pages
- [Events] The 5th International Symposium of the Institute for AI and Beyond
- [Events] The 4th International Symposium, the Institute for AI and Beyond
- [Events] Poster Presentations by the Institute for AI and Beyond
- [Articles] 3rd International Symposium of the Institute for AI and Beyond held
- [Events] The 3rd International Symposium of the Institute for AI and Beyond
- [Events] The 2nd International Symposium, the Institute for AI and Beyond
