Difference between revisions of "People:Akihisa Yamada"

From Termination-Portal.org
Jump to navigationJump to search
(updating my personal info)
Line 11: Line 11:
 
|lastname=Yamada
 
|lastname=Yamada
 
|titles=
 
|titles=
|email=akihisa.yamada@uibk.ac.at
+
|email=ayamada@trs.cm.nagoya-u.ac.jp
|homepage=http://cl-informatik.uibk.ac.at/users/ayamada/
+
|homepage=http://group-mmm.org/~ayamada/
|country=Austria
+
|country=Japan
|university=University of Innsbruck
+
|university=National Institute of Informatics
|department=Institute of Computer Science
+
|department=ERATO HASUO Metamathematics for Systems Design Project
 
|role=post-doc
 
|role=post-doc
 
}}
 
}}
  
 
<!-- 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 13:55, 7 June 2018


Akihisa Yamada