Better software development

To utilize a great amount of information, higher quality software (i.e.with fewer bugs) is required.Our research goal is to realize better software based on theories of software and their applications.