In case you are having issues watching this video, please follow these simple steps to help us investigate the issue:
1. Right click on the video player and select Copy log
2. Paste the copied information in an email to video-issue@infoq.com (clicking this link will fill in the default details in most email clients).
Note: in case your email client hasn't automatically picked up the email subject, please include in your email the URL of the video too.
3. Done.
We will investigate the issue and get back to you as soon as possible. Thanks for helping us improve our site!

Summary
Sir Tony Hoare discusses the relationship between the science of computing and the engineering of software. First, he looks at the general concerns of science (e.g. long term, ideal, formality) and engineering (e.g. short-term, adequacy, and dependability) before delving on the interdependencies of the two viewpoints. He concludes with a vision of what software will be like: "Someday ...".

Bio
Sir Charles Antony Richard Hoare is a British computer scientist, probably best known for the development of Quicksort, one of the world's most widely used sorting algorithms. He also developed Hoare logic for verifying program correctness, and the formal language, CSP, used to specify the interactions of concurrent processes (inspiration for the Occam programming language).

About the conference
QCon is a conference that is organized by the community, for the community.The result is a high quality conference experience where a tremendous amount of attention and investment has gone into having the best content on the most important topics presented by the leaders in our community. QCon is designed with the technical depth and enterprise focus of interest to technical team leads, architects, and project managers.