Kohichi (Kouichi) Ono
contact information
Research Staff MemberIBM Research - Tokyo +81
3
5144
2820



links
Professional Associations
Professional Associations: ACM | IEEE Computer Society | Information Processing Society of Japan (IPSJ) | Japan Society for Software Science and Technologyprofile
Interested areas: software verification, formal methods, model-driven development, software reuse, application frameworks and software patterns, mobile agents, internet security, document analysis, program analysis and transformation