Description:
(Computer scientist) Tony Hoare is a British computer scientist who is credited with developing the sorting algorithm quicksort. He is also credited with developing Hoare logic, a formal system for verifying program correctness. Over the years, Tony Hoare has received several prestigious awards for his contribution to computer science.
