Neste episódio iremos conhecer a vida e obra de Sir Charles Antony Richard Hoare mais conhecido como Tony Hoare. Um premiado Cientista da Computação Britânico responsável por diversas descobertas significativas na Ciência da Computação. Vamos discutir alguns de seus algoritmos, teorias e sua contribuição para os campos de verificação formal e computação simultânea. Descubra conosco o que fez esse programador ser tão importante ao ponto de se tornar um Cavaleiro Britânico condecorado pela Rainha Elizabeth II.

Patronato do SciCast:

1. Patreon SciCast

2. Apoia.se/Scicast

3. Nos ajude via Pix também, chave: contato@scicast.com.br ou acesse o QRcode:

Sua pequena contribuição ajuda o Portal Deviante a continuar divulgando Ciência!

Contatos:

• contato@scicast.com.br
• https://twitter.com/scicastpodcast
• https://www.facebook.com/scicastpodcast
• https://instagram.com/scicastpodcast

Fale conosco! E não esqueça de deixar o seu comentário na postagem desse episódio!

Expediente:

Produção Geral: Tarik Fernandes e André Trapani

Equipe de Gravação: Marcelo de Matos, Cézar Antônio , Gabriela Reciputti, Vinicius Trevisan

Citação ABNT: Scicast #653: Tony Hoare. Locução: Marcelo de Matos, Cézar Antônio , Gabriela Reciputti, Vinicius Trevisan . [S.l.] Portal Deviante, 21/07/2025. Podcast. Disponível em: https://www.deviante.com.br/podcasts/scicast-653

Imagem de capa: https://habr.com/ru/companies/superjob/articles/624543/

Para apoiar o Pirulla, use o Pix abaixo:

pirula1408@gmail.com

Em nome de Marcos Siqueira (primo do Pirulla)

[caption id="attachment_65160" align="aligncenter" width="300"] QR code PIX[/caption]

Site: https://www.pirulla.com.br/

Expotea:

https://expotea.com.br/

https://www.instagram.com/expoteabrasil/

Referências e Indicações

Sugestões de vídeos:

• Explicação sobre CSP:  https://www.youtube.com/watch?v=xmpUsSkcUI0  
• Palestra de Tony Haore sobre o erro de um Bilhao de Dolares: https://www.youtube.com/watch?v=ybrQvs4x0Ps&pp=ygUhdG9ueSBob2FyZSBiaWxsaW9uIGRvbGxhciBtaXN0YWtl
• Dança Húngara do QuickSort : https://www.youtube.com/watch?v=3San3uKKHgg&pp=ygUZaHVuZ2FyaWFuIGRhbmNlIGFsZ29yaXRobQ%3D%3D

Sugestão de Série: 

• Halt and Catch Fire: https://www.imdb.com/pt/title/tt2543312/

Sugestões de links:

• Artigo sobre o Jantar dos Filósofos:  https://www.deviante.com.br/noticias/entre-forks-e-segredos/ 
• Indicação de Hoare ao A.M Turing: https://amturing.acm.org/award_winners/hoare_4622167.cfm
• Algoritmo de Bolha: https://pt.wikipedia.org/wiki/Bubble_sort
• Linguagem Algol W: https://en.wikipedia.org/wiki/ALGOL_W