Kohichi (Kouichi) Ono  Kohichi (Kouichi) Ono photo         

contact information

Research Staff Member
IBM Research - Tokyo


Professional Associations

Professional Associations:  ACM  |  IEEE Computer Society  |  Information Processing Society of Japan (IPSJ)  |  Japan Society for Software Science and Technology


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