Last modified: Tue Sep 28 16:10:04 JST 2010

Information

Affiliation

• reseach staff
  
  National Institute of Advanced Industrial Science and Technology (AIST)

How to contact me

• here

History

• 1973
  • Born on June 17 at Toyohashi city.
• 1996
  • Graduated from Kyushu Institute of Technology
  • Entered Nara Institute of Science and Technology
• 2001
  • Join Programming Science Research Group of ETL (the predecessor of AIST)
• 2003
  • Join Laboratory for Verification and Semantics (the predecessor of CVS) of AIST as a JST reseach staff,
• 2005
  • Join CVS of AIST as a reseach staff,
• 2010
  • Join CFV of AIST as a reseach staff, current affiliation