Theoretical computer science

Knuth Prize

The Donald E. Knuth Prize is a prize for outstanding contributions to the foundations of computer science, named after the American computer scientist Donald E. Knuth. (Wikipedia).

Knuth Prize
Video thumbnail

HLF Laureate Portraits: Mikhail Leonidovich Gromov

The Heidelberg Laureate Forum Foundation presents the HLF Laureate Portraits: Mikhail Leonidovich Gromov, Abel Prize, 2009. Interview recorded in 2018. In this series, join us as we meet with the top mathematicians and computer scientists – recipients of the Abel Prize, the ACM A.M. Turi

From playlist Mikhail L. Gromov

Video thumbnail

Stanford Lecture: Mathematical Writing - Scientific American Saga (1)

The class notes are available as a Stanford report, Mathematical Writing (http://www-cs-faculty.stanford.edu/~knuth/papers/cs1193.pdf), and a published book (http://www-cs-faculty.stanford.edu/~knuth/klr.html). November 11, 1987 Professor Knuth is the Professor Emeritus at Stanford Unive

From playlist Donald Knuth Lectures

Video thumbnail

The 2009 Nobel Prize in Physics - Sixty Symbols

As the Nobel Prize in Physics is awarded, we look at who won and how it's decided. More physics at http://www.sixtysymbols.com/ More Nobel videos: http://bit.ly/SSNobel

From playlist Nobel Prize Videos - Sixty Symbols

Video thumbnail

5th HLF – Laureate interview: Sir Michael Francis Atiyah

Laureates at the 5th HLF sit down with Tom Geller, Tom Geller Productions, to discuss their career, mentoring and their experience at the Heidelberg Laureate Forum (HLF). These renowned scientists have been honored with most prestigious awards in mathematics and computer science: Abel Priz

From playlist Related videos on other channels

Video thumbnail

Ig Nobel Prize with Leslie Lamport (2013 Turing Award)

2013 Turing Award recipient Leslie Lamport describes his favourite maths t-shirt, his final remaining goal in life, and whether he prefers tabs or spaces… Leslie begins by describing his favourite maths t-shirt, as based on the infamous Donald Knuth video here: https://www.youtube.com/wat

From playlist Interviews

Video thumbnail

DEFCON 13: Death of a Thousand cuts -- Forensics

Speaker: Johnny Long, Penetration Tester In this day and age, forensics evidence lurks everywhere. This talk takes attendees on a brisk walk through the modern technological landscape in search of hidden digital data. Some hiding places are more obvious than others, but far too many devi

From playlist DEFCON 13

Video thumbnail

Stanford Lecture: Don Knuth—"A Conjecture That Had To Be True" (2017)

Donald Knuth's 23rd Annual Christmas Tree Lecture: A Conjecture That Had To Be True Speaker: Donald Knuth 2017 A few months ago, the speaker did some extensive calculations relating to a curious problem in combinatorial geometry; and the resulting numbers satisfied an amazing formula. Al

From playlist Donald Knuth Lectures

Video thumbnail

7th HLF Laureate interviews: Gregory Margulis

Laureates at the 7th HLF sat down with Tom Geller, Tom Geller Productions, to discuss their career, mentoring and their experience at the Heidelberg Laureate Forum (HLF). These renowned scientists have been honored with most prestigious awards in mathematics and computer science: Abel Priz

From playlist Related videos on other channels

Video thumbnail

Do the Nobel Prizes Still Make Sense in the 21st Century?

PBS Member Stations rely on viewers like you. To support your local station, go to: http://to.pbs.org/DonateOKAY ↓ More info and sources below ↓ The Nobel Prizes reward the greatest accomplishments of the human race. Right? Then why haven't they changed much in 100+ years? Do they really

From playlist Be Smart - LATEST EPISODES!

Video thumbnail

DEFCON 14: Death By 1000 cuts

Speaker: Johnny Long / j0hnny Abstract: In this day and age, forensics evidence lurks everywhere. The task presented to modern forensics investigators is a daunting one. During this talk, you'll slip into the shoes of an uber-agent hot on the trail of the illustrious Knuth from the Steali

From playlist DEFCON 14

Video thumbnail

HLF Laureate Portraits: John Milnor

The Heidelberg Laureate Forum Foundation presents the HLF Laureate Portraits: John Milnor; Fields Medal, 1962; Abel Prize, 2011. Interview recorded in 2016. In this series, join us as we meet with the top mathematicians and computer scientists – recipients of the Abel Prize, the ACM A.M.

From playlist Related videos on other channels

Video thumbnail

Neutrinos and the 2015 Nobel Prize in Physics - Sixty Symbols

The 2015 Nobel Prize in Physics goes to Takaaki Kajita and Arthur B. McDonald for showing that Neutrinos have mass. More Nobel winners: http://bit.ly/SSNobel This video features Ed Copeland, Michael Merrifield and Meghan Gray. More Neutrino videos: https://www.youtube.com/playlist?list=

From playlist Nobel Prize Videos - Sixty Symbols

Video thumbnail

Stanford Lecture: Mathematical Writing - Minicourse on technical writing (1)

The class notes are available as a Stanford report, Mathematical Writing (http://www-cs-faculty.stanford.edu/~knuth/papers/cs1193.pdf), and a published book (http://www-cs-faculty.stanford.edu/~knuth/klr.html). October 2, 1987 Professor Knuth is the Professor Emeritus at Stanford Univers

From playlist Donald Knuth Lectures

Video thumbnail

The Computer Chronicles - Computer Bowl I Part 1 (1988)

Special thanks to archive.org for hosting these episodes. Downloads of all these episodes and more can be found at: http://archive.org/details/computerchronicles

From playlist The Computer Chronicles - Computer Bowl Competitions

Video thumbnail

Stanford Lecture: "Aha" Sessions - Problem 2 - Code Breaking Part 4

January 29, 1985 Notes from these problem sessions were published as A Programming and Problem-Solving Seminar, Stanford Technical Report No. STAN-CS-85-1055. (http://www-cs-faculty.stanford.edu/~knuth/papers/cs1055.pdf) Professor Knuth is the Professor Emeritus at Stanford University. D

From playlist Donald Knuth Lectures

Video thumbnail

Dana S Richards - Are You a Mathematician? - G4G14 April 2022

Martin Gardner is best known as a writer of recreational mathematics. It is often said he was not a mathematician; he said so himself. However he often contributed original results. These are found in math journals, his column and in the magic literature.

From playlist G4G14 Videos

Video thumbnail

Stanford Lecture: "Aha" Sessions - Problem 3 - Hardware fault detection Part 5

February 21, 1985 Notes from these problem sessions were published as A Programming and Problem-Solving Seminar, Stanford Technical Report No. STAN-CS-85-1055. (http://www-cs-faculty.stanford.edu/~knuth/papers/cs1055.pdf) Professor Knuth is the Professor Emeritus at Stanford University.

From playlist Donald Knuth Lectures

Video thumbnail

Stanford Lecture: Mathematical Writing - Presenting algorithms

The class notes are available as a Stanford report, Mathematical Writing (http://www-cs-faculty.stanford.edu/~knuth/papers/cs1193.pdf), and a published book (http://www-cs-faculty.stanford.edu/~knuth/klr.html). October 19, 1987 Professor Knuth is the Professor Emeritus at Stanford Univer

From playlist Donald Knuth Lectures

Video thumbnail

Stanford Lecture: Donald Knuth - "Spanning Trees and Aspects" (2009)

Don Knuth's 15th Annual Christmas Tree Lecture December 8, 2009 Professor Knuth is the Professor Emeritus at Stanford University. Dr. Knuth's classic programming texts include his seminal work The Art of Computer Programming, Volumes 1-3, widely considered to be among the best scientific

From playlist Donald Knuth Lectures

Video thumbnail

Climate and Complex Systems | Physics Nobel Prize 2021

On October 5th, 2021, the Royal Swedish Academy of Sciences has decided to award the Nobel Prize in Physics "for groundbreaking contributions to our understanding of complex physical systems" with one half jointly to Shukuro Manabe and Klaus Hasselmann "for the physical modelling of Earth’

From playlist Physics Nobel Prize

Related pages

Symposium on Theory of Computing | ACM SIGACT | Theoretical computer science | Gödel Prize | Symposium on Foundations of Computer Science