Difference between revisions of "People:Akihisa Yamada"
From Termination-Portal.org
Jump to navigationJump to search (updating my personal info) |
m (updated my affiliation) |
||
(2 intermediate revisions by the same user not shown) | |||
Line 15: | Line 15: | ||
|country=Japan | |country=Japan | ||
|university=National Institute of Informatics | |university=National Institute of Informatics | ||
− | |department=ERATO HASUO Metamathematics for Systems Design Project | + | |department=ERATO HASUO Metamathematics for Systems Design Project, |
− | |role= | + | |role=project assistant professor |
}} | }} | ||
<!-- If you want to add some personal data to your userpage, you can do so after this comment. --> | <!-- If you want to add some personal data to your userpage, you can do so after this comment. --> |
Revision as of 05:48, 30 January 2019
Akihisa Yamada
- project assistant professor in the Department of ERATO HASUO Metamathematics for Systems Design Project, (National Institute of Informatics, Japan)
- home page: http://group-mmm.org/~ayamada/
- email: mailto:ayamada@trs.cm.nagoya-u.ac.jp