A Conversation with Sr. Tony Hoare

Summary
Sir Tony Hoare answers questions about his background, his relationship with Microsoft Research, his interest in "Unifying Theories of Programming," and numerous other topics in the area of programming, correctness, formal analysis of programs, and even type systems. Also addressed: concurrency, null-references, and even buffer overflows.

Bio
Sir Charles Antony Richard Hoare, commonly known as Tony Hoare, is a British computer scientist, probably best known for the development in 1960, at age 26, of Quicksort. He also developed Hoare logic, the formal language Communicating Sequential Processes (CSP), and inspired 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.