Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Free
Faster access than browser!
And Ads-free!

Tony Hoare

Sir Charles Antony Richard Hoare FRS FREng (born 11 January 1934), commonly known as Tony Hoare or C. A. R. Hoare, is a British computer scientist. [1]

84 relations: Academic Press, ALGOL, ALGOL W, Algorithm, Andrey Kolmogorov, Athens University of Economics and Business, Augusto Sampaio, Autocode, Axiom, École Polytechnique Fédérale de Lausanne, Bill Roscoe, British Council, British Library, Cambridge, Canterbury, Charles Babbage Institute, Christopher Strachey, Civil service, Cliff Jones (computer scientist), Colombo, Communicating sequential processes, Communications of the ACM, Complutense University of Madrid, Computer Conservation Society, Computer History Museum, Computer Pioneer Award, Computer science, Concurrency (computer science), Department of Computer Science, University of Oxford, Dining philosophers problem, Dragon School, Edsger W. Dijkstra, Elliott Brothers (computer company), England, Faraday Medal, Fellow, Ferranti Mercury, Harry H. Goode Memorial Award, He Jifeng, Hoare logic, IEEE John von Neumann Medal, Information science, Kellogg College, Oxford, Knight Bachelor, Kyoto Prize, Leslie Fox, Literae Humaniores, Machine translation, Merton College, Oxford, Michael J. C. Gordon, ..., Microsoft Research, Monitor (synchronization), Moscow State University, Mountain View, California, Nashville, Tennessee, Null pointer, Occam (programming language), Ole-Johan Dahl, Operating system, Oxford, Parallel computing, Prentice Hall, Professor, Programming language, Programming Research Group, Queen's University Belfast, Quickselect, Quicksort, Royal Academy of Engineering, Royal Navy, Royal Society, SIGPLAN, Sorting algorithm, Springer Science+Business Media, Sri Lanka, Structured programming, The King's School, Canterbury, The Times, Turing Award, Unifying Theories of Programming, University of Bath, University of Oxford, University of Warsaw, Z notation. Expand index (34 more) »

Academic Press

Academic Press is an academic book publisher.

New!!: Tony Hoare and Academic Press · See more »

ALGOL

ALGOL (short for ALGOrithmic Language) is a family of imperative computer programming languages, originally developed in the mid-1950s, which greatly influenced many other languages and was the standard method for algorithm description used by the ACM in textbooks and academic sources for more than thirty years.

New!!: Tony Hoare and ALGOL · See more »

ALGOL W

ALGOL W is a programming language.

New!!: Tony Hoare and ALGOL W · See more »

Algorithm

In mathematics and computer science, an algorithm is a self-contained step-by-step set of operations to be performed.

New!!: Tony Hoare and Algorithm · See more »

Andrey Kolmogorov

Andrey Nikolaevich Kolmogorov (a, 25 April 1903 – 20 October 1987) was a 20th-century Soviet mathematician who made significant contributions to the mathematics of probability theory, topology, intuitionistic logic, turbulence, classical mechanics, algorithmic information theory and computational complexity.

New!!: Tony Hoare and Andrey Kolmogorov · See more »

Athens University of Economics and Business

Athens University of Economics and Business (AUEB) (Οικονομικό Πανεπιστήμιο Αθηνών, Oikonomiko Panepistimio Athinon, abbrev.) was founded in 1920 in Athens, Greece.

New!!: Tony Hoare and Athens University of Economics and Business · See more »

Augusto Sampaio

Augusto Cezar Alves Sampaio is a Brazilian computer scientist who works with formal methods and language semantics.

New!!: Tony Hoare and Augusto Sampaio · See more »

Autocode

Autocode is the name of a family of "simplified coding systems", later called programming languages, devised in the 1950s and 1960s for a series of digital computers at the Universities of Manchester, Cambridge and London.

New!!: Tony Hoare and Autocode · See more »

Axiom

An axiom or postulate is a premise or starting point of reasoning.

New!!: Tony Hoare and Axiom · See more »

École Polytechnique Fédérale de Lausanne

The École polytechnique fédérale de Lausanne (EPFL, English: Swiss Federal Institute of Technology in Lausanne) is a research university in Lausanne, Switzerland, that specialises in physical sciences and engineering.

New!!: Tony Hoare and École Polytechnique Fédérale de Lausanne · See more »

Bill Roscoe

Andrew William "Bill" Roscoe is a Scottish computer scientist.

New!!: Tony Hoare and Bill Roscoe · See more »

British Council

The British Council is a British organisation specialising in international educational and cultural opportunities.

New!!: Tony Hoare and British Council · See more »

British Library

The British Library is the national library of the United Kingdom and the largest library in the world by number of items catalogued.

New!!: Tony Hoare and British Library · See more »

Cambridge

The city of Cambridge is a university city and the county town of Cambridgeshire, England.

New!!: Tony Hoare and Cambridge · See more »

Canterbury

Canterbury is a historic English cathedral city and UNESCO World Heritage Site, which lies at the heart of the City of Canterbury, a local government district of Kent in the United Kingdom.

New!!: Tony Hoare and Canterbury · See more »

Charles Babbage Institute

The Charles Babbage Institute is a research center at the University of Minnesota specializing in the history of information technology, particularly the history of digital computing, programming/software, and computer networking since 1935.

New!!: Tony Hoare and Charles Babbage Institute · See more »

Christopher Strachey

Christopher S. Strachey (1916–1975) was a British computer scientist.

New!!: Tony Hoare and Christopher Strachey · See more »

Civil service

The term civil service can refer to either a branch of governmental service in which individuals are employed (hired) on the basis of professional merit as proven by competitive examinations; or the body of employees in any government agency apart from the military, which is a separate extension of any national government.

New!!: Tony Hoare and Civil service · See more »

Cliff Jones (computer scientist)

Clifford "Cliff" B. Jones (born 1 June 1944) is a British computer scientist, specializing in research into formal methods.

New!!: Tony Hoare and Cliff Jones (computer scientist) · See more »

Colombo

Colombo (Sinhala: කොළඹ, pronounced; கொழும்பு) is the commercial capital and largest city of Sri Lanka.

New!!: Tony Hoare and Colombo · See more »

Communicating sequential processes

In computer science, communicating sequential processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.

New!!: Tony Hoare and Communicating sequential processes · See more »

Communications of the ACM

Communications of the ACM is the monthly magazine of the Association for Computing Machinery (ACM).

New!!: Tony Hoare and Communications of the ACM · See more »

Complutense University of Madrid

The Complutense University of Madrid (Universidad Complutense de Madrid or Universidad de Madrid, Universitas Complutensis) is a public research university located in Madrid, and one of the oldest universities in the world.

New!!: Tony Hoare and Complutense University of Madrid · See more »

Computer Conservation Society

The Computer Conservation Society (CCS) is a British organisation, founded in 1989.

New!!: Tony Hoare and Computer Conservation Society · See more »

Computer History Museum

The Computer History Museum (CHM) is a museum established in 1996 in Mountain View, California, USA.

New!!: Tony Hoare and Computer History Museum · See more »

Computer Pioneer Award

The Computer Pioneer Award was established in 1981 by the Board of Governors of the IEEE Computer Society to recognize and honor the vision of those people whose efforts resulted in the creation and continued vitality of the computer industry.

New!!: Tony Hoare and Computer Pioneer Award · See more »

Computer science

Computer science deals with the theoretical foundations of information and computation, together with practical techniques for the implementation and application of these foundations Computer science is the scientific and practical approach to computation and its applications.

New!!: Tony Hoare and Computer science · See more »

Concurrency (computer science)

In computer science, concurrency is a property of systems in which several computations are executing simultaneously, and potentially interacting with each other.

New!!: Tony Hoare and Concurrency (computer science) · See more »

Department of Computer Science, University of Oxford

The Department of Computer Science is the computer science department of the University of Oxford, England.

New!!: Tony Hoare and Department of Computer Science, University of Oxford · See more »

Dining philosophers problem

In computer science, the dining philosophers problem is an example problem often used in concurrent algorithm design to illustrate synchronization issues and techniques for resolving them.

New!!: Tony Hoare and Dining philosophers problem · See more »

Dragon School

The Dragon School is a British coeducational, preparatory school in the English city of Oxford, founded in 1877 as the Oxford Preparatory School, or OPS.

New!!: Tony Hoare and Dragon School · See more »

Edsger W. Dijkstra

Edsger Wybe Dijkstra (11 May 1930 – 6 August 2002) was a Dutch computer scientist and mathematical scientist.

New!!: Tony Hoare and Edsger W. Dijkstra · See more »

Elliott Brothers (computer company)

Elliott Brothers (London) Ltd was an early computer company of the 1950s–60s in the United Kingdom.

New!!: Tony Hoare and Elliott Brothers (computer company) · See more »

England

England is a country that is part of the United Kingdom.

New!!: Tony Hoare and England · See more »

Faraday Medal

The Faraday Medal is a medal awarded by the Institution of Engineering and Technology (previously called the Institution of Electrical Engineers) The bronze medal is awarded (either for notable scientific or industrial achievement in engineering or for conspicuous service rendered to the advancement of science, engineering and technology) without restriction as regards nationality, country of residence or membership of the Institution.

New!!: Tony Hoare and Faraday Medal · See more »

Fellow

In academia, a fellow is a member of a group of learned people who work together as peers in the pursuit of mutual knowledge or practice.

New!!: Tony Hoare and Fellow · See more »

Ferranti Mercury

The Mercury was an early commercial computer from the mid 1950s built by Ferranti.

New!!: Tony Hoare and Ferranti Mercury · See more »

Harry H. Goode Memorial Award

The Harry H. Goode Memorial Award is an IEEE Computer Society annual awards in honor of Harry H. Goode for achievements in the information processing field which are considered either a single contribution of theory, design, or technique of outstanding significance, or the accumulation of important contributions on theory or practice over an extended time period, the total of which represent an outstanding contribution.

New!!: Tony Hoare and Harry H. Goode Memorial Award · See more »

He Jifeng

He Jifeng (born August 1943 in Shanghai) is a Chinese computer scientist.

New!!: Tony Hoare and He Jifeng · See more »

Hoare logic

Hoare logic (also known as Floyd–Hoare logic or Hoare rules) is a formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs.

New!!: Tony Hoare and Hoare logic · See more »

IEEE John von Neumann Medal

The IEEE John von Neumann Medal was established by the IEEE Board of Directors in 1990 and may be presented annually "for outstanding achievements in computer-related science and technology." The achievements may be theoretical, technological, or entrepreneurial, and need not have been made immediately prior to the date of the award.

New!!: Tony Hoare and IEEE John von Neumann Medal · See more »

Information science

Information science is an interdisciplinary field primarily concerned with the analysis, collection, classification, manipulation, storage, retrieval, movement, dissemination, and protection of information.

New!!: Tony Hoare and Information science · See more »

Kellogg College, Oxford

Kellogg College is one of the constituent colleges of the University of Oxford in England.

New!!: Tony Hoare and Kellogg College, Oxford · See more »

Knight Bachelor

The appointment of Knight Bachelor (Kt) is a part of the British honours system.

New!!: Tony Hoare and Knight Bachelor · See more »

Kyoto Prize

The is Japan’s highest private award for global achievement.

New!!: Tony Hoare and Kyoto Prize · See more »

Leslie Fox

Leslie Fox (30 September 1918 – 1 August 1992) was a British mathematician noted for his contribution to numerical analysis.

New!!: Tony Hoare and Leslie Fox · See more »

Literae Humaniores

Literae Humaniores is the name given to an undergraduate course focused on Classics (Ancient Rome, Ancient Greece, Latin, ancient Greek and philosophy) at the University of Oxford and some other universities.

New!!: Tony Hoare and Literae Humaniores · See more »

Machine translation

Machine translation, sometimes referred to by the abbreviation MT (not to be confused with computer-aided translation, machine-aided human translation (MAHT) or interactive translation) is a sub-field of computational linguistics that investigates the use of software to translate text or speech from one language to another.

New!!: Tony Hoare and Machine translation · See more »

Merton College, Oxford

Merton College (in full: The House or College of Scholars of Merton in the University of Oxford) is one of the constituent colleges of the University of Oxford in England.

New!!: Tony Hoare and Merton College, Oxford · See more »

Michael J. C. Gordon

Michael John Caldwell "Mike" Gordon FRS (born 28 February 1948) is a British computer scientist.

New!!: Tony Hoare and Michael J. C. Gordon · See more »

Microsoft Research

Microsoft Research is the research division of Microsoft.

New!!: Tony Hoare and Microsoft Research · See more »

Monitor (synchronization)

In concurrent programming, a monitor is a synchronization construct that allows threads to have both mutual exclusion and the ability to wait (block) for a certain condition to become true.

New!!: Tony Hoare and Monitor (synchronization) · See more »

Moscow State University

Lomonosov Moscow State University (MSU; Московский государственный университет имени М. В. Ломоносова) is a coeducational and public research university located in Moscow, Russia.

New!!: Tony Hoare and Moscow State University · See more »

Mountain View, California

Mountain View is a city located in Northern California's San Francisco Bay Area.

New!!: Tony Hoare and Mountain View, California · See more »

Nashville, Tennessee

Nashville is the capital of the U.S. state of Tennessee and the county seat of Davidson County.

New!!: Tony Hoare and Nashville, Tennessee · See more »

Null pointer

In computing, a null pointer has a value reserved for indicating that the pointer does not refer to a valid object.

New!!: Tony Hoare and Null pointer · See more »

Occam (programming language)

occam is a concurrent programming language that builds on the communicating sequential processes (CSP) process algebra, INMOS document 72 occ 45 03 and shares many of its features.

New!!: Tony Hoare and Occam (programming language) · See more »

Ole-Johan Dahl

Ole-Johan Dahl (12 October 1931 – 29 June 2002) was a Norwegian computer scientist and is considered to be one of the fathers of Simula and object-oriented programming along with Kristen Nygaard.

New!!: Tony Hoare and Ole-Johan Dahl · See more »

Operating system

An operating system (OS) is system software that manages computer hardware and software resources and provides common services for computer programs.

New!!: Tony Hoare and Operating system · See more »

Oxford

Oxford is a city in the South East region of England and the county town of Oxfordshire.

New!!: Tony Hoare and Oxford · See more »

Parallel computing

Parallel computing is a form/type of computation in which many calculations are carried out simultaneously, operating on the principle that large problems can often be divided into smaller ones, which are then solved at the same time.

New!!: Tony Hoare and Parallel computing · See more »

Prentice Hall

Prentice Hall is a major educational publisher owned by Pearson PLC.

New!!: Tony Hoare and Prentice Hall · See more »

Professor

A professor, informally often known as full professor, is the highest academic rank at universities and other post-secondary education and research institutions in most countries.

New!!: Tony Hoare and Professor · See more »

Programming language

A programming language is a formal constructed language designed to communicate instructions to a machine, particularly a computer.

New!!: Tony Hoare and Programming language · See more »

Programming Research Group

The Programming Research Group (PRG) was part of the Oxford University Computing Laboratory (OUCL) in Oxford, England, until OUCL became the Department of Computer Science in 2011.

New!!: Tony Hoare and Programming Research Group · See more »

Queen's University Belfast

Queen's University Belfast is a public research university in Belfast, Northern Ireland.

New!!: Tony Hoare and Queen's University Belfast · See more »

Quickselect

In computer science, quickselect is a selection algorithm to find the kth smallest element in an unordered list.

New!!: Tony Hoare and Quickselect · See more »

Quicksort

Quicksort (sometimes called partition-exchange sort) is an efficient sorting algorithm, serving as a systematic method for placing the elements of an array in order.

New!!: Tony Hoare and Quicksort · See more »

Royal Academy of Engineering

The Royal Academy of Engineering is the UK’s national academy of engineering.

New!!: Tony Hoare and Royal Academy of Engineering · See more »

Royal Navy

The Royal Navy (RN) is the United Kingdom's principal naval warfare force.

New!!: Tony Hoare and Royal Navy · See more »

Royal Society

The President, Council, and Fellows of the Royal Society of London for Improving Natural Knowledge, commonly known as the Royal Society, is a learned society for science and is possibly the oldest such society still in existence.

New!!: Tony Hoare and Royal Society · See more »

SIGPLAN

SIGPLAN is the Association for Computing Machinery's Special Interest Group on programming languages.

New!!: Tony Hoare and SIGPLAN · See more »

Sorting algorithm

A sorting algorithm is an algorithm that puts elements of a list in a certain order.

New!!: Tony Hoare and Sorting algorithm · See more »

Springer Science+Business Media

Springer Science+Business Media or Springer is a global publishing company that publishes books, e-books and peer-reviewed journals in science, technical and medical (STM) publishing.

New!!: Tony Hoare and Springer Science+Business Media · See more »

Sri Lanka

Sri Lanka (or; Sinhalese Śrī Laṃkāva, Tamil Ilaṅkai), officially the Democratic Socialist Republic of Sri Lanka and known from the beginning of British colonial rule until 1972 as Ceylon, is an island country in South Asia near south-east India.

New!!: Tony Hoare and Sri Lanka · See more »

Structured programming

Structured programming is a programming paradigm aimed at improving the clarity, quality, and development time of a computer program by making extensive use of subroutines, block structures and for and while loops—in contrast to using simple tests and jumps such as the goto statement which could lead to "spaghetti code" which is difficult both to follow and to maintain.

New!!: Tony Hoare and Structured programming · See more »

The King's School, Canterbury

The King's School is a British co-educational independent school for both day and boarding pupils in the English city of Canterbury in Kent.

New!!: Tony Hoare and The King's School, Canterbury · See more »

The Times

The Times is a British daily national newspaper based in London.

New!!: Tony Hoare and The Times · See more »

Turing Award

The ACM A.M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) to "an individual selected for contributions of a technical nature made to the computing community".

New!!: Tony Hoare and Turing Award · See more »

Unifying Theories of Programming

Unifying Theories of Programming (UTP) in computer science deals with program semantics.

New!!: Tony Hoare and Unifying Theories of Programming · See more »

University of Bath

The University of Bath is a public university located in Bath, Somerset, United Kingdom.

New!!: Tony Hoare and University of Bath · See more »

University of Oxford

The University of Oxford (informally Oxford University or simply Oxford) is a collegiate research university located in Oxford, England.

New!!: Tony Hoare and University of Oxford · See more »

University of Warsaw

The University of Warsaw (Uniwersytet Warszawski, Universitas Varsoviensis), established in 1816, is the largest university in Poland.

New!!: Tony Hoare and University of Warsaw · See more »

Z notation

The Z notation is a formal specification language used for describing and modelling computing systems.

New!!: Tony Hoare and Z notation · See more »

Redirects here:

Anthony Hoare, Antony Hoare, C A R Hoare, C. A. R. Hoare, C. A.R. Hoare, C. Anthony R. Hoare, C. Antony R. Hoare, C. Hoare, C.A.R. Hoare, CAR Hoare, CARH, Charles A. R. Hoare, Charles Antony Richard Hoare, Sir Antony Hoare, Sir Charles Antony Richard Hoare.

References

[1] https://en.wikipedia.org/wiki/Tony_Hoare

OutgoingIncoming
Hey! We are on Facebook now! »