The 2000 Kyoto Prize Workshops
/ Computer Scientist
11 /12 Sun
13:00 - 17:10
Address：Takaragaike, Sakyo-ku, Kyoto 606-0001 Japan
From the early 1960s, at the beginning of the shift to large-scale, large-capacity computers, Professor Hoare presented Hoare’s Logic on the definition and design of programming languages and a number of other papers on specification, design, implementation and maintenance of programs, applying his axiomatic approach for better computer performance and greater software reliability. He is a computer scientist who has made significant contributions to the development of software science.