kids encyclopedia robot

Tony Hoare facts for kids

Kids Encyclopedia Facts
Quick facts for kids
Sir Tony Hoare

FRS FREng
Sir Tony Hoare IMG 5125.jpg
Tony Hoare in 2011
Born
Charles Antony Richard Hoare

(1934-01-11) 11 January 1934 (age 91)
Education
Known for
  • Quicksort
  • Quickselect
  • Hoare logic
  • Null reference
  • Communicating sequential processes
  • Structured programming
  • ALGOL
Spouse(s) Jill Pym
Children 3
Awards
Turing Award (1980)
Harry H. Goode Memorial Award (1981)
Faraday Medal (1985)
Computer Pioneer Award (1990)
Kyoto Prize (2000)
IEEE John von Neumann Medal (2011)
Royal Medal (2023)
Scientific career
Fields Computer science
Institutions
Doctoral students
  • Cliff Jones
  • Bill Roscoe
  • Augusto Sampaio

Sir Charles Antony Richard Hoare (born 11 January 1934), often called Tony Hoare, is a famous British computer scientist. He has made many important discoveries in how computers work and how we write computer programs. His work has helped shape the world of computers as we know it today.

He is especially known for creating a super-fast way to sort information called quicksort. He also developed Hoare logic, which helps prove that computer programs work correctly. In 1980, he won the Turing Award, which is like the Nobel Prize for computer science.

Early Life and Education

Tony Hoare was born in Colombo, which was then called Ceylon (now Sri Lanka). His parents were British. He went to school in England at the Dragon School and the King's School.

He first studied Classics and Philosophy at Merton College, Oxford. After graduating in 1956, he joined the Royal Navy for 18 months. There, he learned to speak Russian.

In 1958, he returned to the University of Oxford to study statistics. This is where he first started learning about computer programming. He then went to Moscow State University as an exchange student. He studied how computers could translate languages.

Discoveries and Career

In 1960, Tony Hoare started working at Elliott Brothers Ltd, a company that made computers in London. Here, he helped create a computer language called ALGOL 60. He also started to develop some very important algorithms. An algorithm is like a step-by-step recipe for a computer to follow.

The Quicksort Algorithm

One of his most famous inventions is the quicksort algorithm. He developed this in 1959–1960. Imagine you have a huge pile of mixed-up papers and you need to sort them very quickly. Quicksort is a clever way to do this on a computer. It's one of the fastest ways to sort information, and it's used in many computer programs today.

Hoare Logic

Tony Hoare also created something called Hoare logic. This is a special system that helps computer scientists prove that a computer program will always do exactly what it's supposed to do. It's like a mathematical way to check if a program is correct and won't have unexpected errors.

Communicating Sequential Processes (CSP)

He also came up with a formal language called communicating sequential processes (CSP). This language helps describe how different parts of a computer program can work together at the same time. It's important for understanding how complex computer systems, like operating systems, manage many tasks at once.

A "Billion-Dollar Mistake"

In 1965, Tony Hoare made a decision he later called his "billion-dollar mistake." He added something called a "null reference" to a programming language. A null reference is like a pointer that doesn't point to anything.

He said it was easy to add, but it has caused many computer errors and crashes over the years. He joked that it probably caused a billion dollars of problems! This shows that even brilliant scientists can learn from their past decisions.

Teaching and Research

In 1968, he became a professor at the Queen's University of Belfast. Later, in 1977, he returned to University of Oxford as a professor. He led the Programming Research Group there. He retired from Oxford in 2000.

Even after retiring, he continued his work. He became a principal researcher at Microsoft Research in Cambridge, England.

Awards and Honors

Tony Hoare has received many awards for his amazing contributions to computer science.

  • In 1980, he won the Turing Award. This is one of the highest honors a computer scientist can receive.
  • He became a Fellow of the Royal Society in 1982. This is a very old and respected group of scientists.
  • He was made a Knight by the Queen in 2000 for his work in education and computer science. This means he is called "Sir Tony Hoare."
  • In 2000, he also received the Kyoto Prize, another very important international award.
  • In 2006, the Computer History Museum honored him for developing the Quicksort algorithm.
  • He received the Royal Medal from the Royal Society in 2023.

Personal Life

In 1962, Tony Hoare married Jill Pym. She was also part of his research team.

Books

Tony Hoare has also written books about computer science. One of his well-known books is Communicating Sequential Processes, published in 1985.

See also

Kids robot.svg In Spanish: C. A. R. Hoare para niños

kids search engine
Tony Hoare Facts for Kids. Kiddle Encyclopedia.