Please help support CiteULike by taking part in our survey.

yoriyuki's profile

About me

Username:	yoriyuki
Name:	yoriyuki yamagata
Job title:	Research Scientist
Affiliation:	http://unit.aist.go.jp/cvs/
Web page:	http://staff.aist.go.jp/yoriyuki.yamagata/
Joined:	2007-11-10

Not specified

Proof theory (Constructive interpretation of classical logic, bounded arithmetic) Formal method (Integrating Agda with SPIN model checker)

No activity in the last 90 days