yoriyukis 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)

2008-11-14

2008-11-07