Theoretical computer scientists

Alan Cobham (mathematician)

Alan Belmont Cobham (4 November 1927 – 28 June 2011) was an American mathematician and computer scientist known for (with Jack Edmonds) inventing the notion of polynomial time and the complexity class P, for Cobham's thesis stating that the problems that have practically-usable computer solutions are characterized by having polynomial time, and for Cobham's theorem on the sets of numbers that can be recognized by finite automata. He also did foundational work on automatic sequences, invented priority queues and studied them from the point of view of queueing theory, and wrote a program for playing contract bridge that was at the time (in the mid-1980s) one of the best in the world. Cobham was a student at Oberlin College, the University of Chicago, the University of California, Berkeley, and the Massachusetts Institute of Technology, but did not complete a doctorate. He became an operations researcher for the United States Navy, a researcher for IBM Research at the Thomas J. Watson Research Center, and a professor and founding department chair of the computer science department at Wesleyan University. (Wikipedia).

Video thumbnail

Alan Turing - Celebrating the life of a genius

Saturday 23 June 2012 marks the centenary of the birth of Alan Turing - mathematical genius, hero of the WWII code breakers of Bletchley Park, and father of modern computing. Alan Turing was a mathematician, cryptographer and pioneer of computer science who possessed one of the greatest

From playlist My Maths Videos

Video thumbnail

INTERVIEW AT CIRM: PETER SARNAK

Peter Sarnak is a South African-born mathematician with dual South-African and American nationalities. He has been Eugene Higgins Professor of Mathematics at Princeton University since 2002, succeeding Andrew Wiles, and is an editor of the Annals of Mathematics. He is known for his work in

From playlist Jean-Morlet Chair's guests - Interviews

Video thumbnail

Alan Turing - Celebrating the life of a genius [2012]

Description: Saturday 23 June 2012 marks the centenary of the birth of Alan Turing - mathematical genius, hero of the WWII code breakers of Bletchley Park, and father of modern computing. Alan Turing was a mathematician, cryptographer and pioneer of computer science who possessed one of

From playlist Mathematics

Video thumbnail

Sir Alan Cobham returns to London (1929)

EMPIRE NEWS NEWSREEL (REUTERS) To license this film, visit https://www.britishpathe.com/video/VLVA35BGFYTPNMMRJKAGFNYD4BMXW-SIR-ALAN-COBHAM-RETURNS-TO-LONDON Aviation pioneer Sir Alan Cobham returns to London on completion of a tour of Britain. Full Description: SLATE CARD INFORMATION

From playlist EMPIRE NEWS NEWSREEL (REUTERS)

Video thumbnail

TRANSPORT: Aviation: 22,000 Mile flight (1928)

EMPIRE NEWS NEWSREEL (REUTERS) To license this film, visit https://www.britishpathe.com/video/VLVA479R08Q8IQQJEZFHHB90OH12O-TRANSPORT-AVIATION-22000-MILE-FLIGHT Sir Alan and Lady Cobham reach Plymouth after their great round - Africa survey flight. Full Description: SLATE INFORMATION:

From playlist EMPIRE NEWS NEWSREEL (REUTERS)

Video thumbnail

Cohomology for computer science - Alex Lubotzky

https://www.math.ias.edu/seminars/abstract?event=83684

From playlist Computer Science/Discrete Mathematics

Video thumbnail

The Abel Prize announcement 2021 - Avi Wigderson and László Lovász

0:49 The Abel Prize announced by Hans Petter Graver, President of The Norwegian Academy of Science and Letters 1:38 Citation by Hans Munthe-Kaas, Chair of the Abel committee 10:22 Popular presentation of the prize winners work by Alex Bellos, British writer, and science communicator 17:43

From playlist The Abel Prize announcements

Video thumbnail

Interview at Cirm: Terence TAO

Terence Tao (born 17 July 1975) is an Australian-American mathematician who has worked in various areas of mathematics. He currently focuses on harmonic analysis, partial differential equations, algebraic combinatorics, arithmetic combinatorics, geometric combinatorics, compressed sensing

From playlist English interviews - Interviews en anglais

Video thumbnail

Air Refuelling - The Hidden Force Multiplier

Fasthosts Techie Test competition is now closed! Learn more about Fasthosts here: https://www.fasthosts.co.uk/curiousdroid Air refuelling is the hidden force enabler allowing those countries with this ability to project their airpower around the world. Far from just the process of refuell

From playlist Planes, Trains and Automobiles

Video thumbnail

People of Science with Brian Cox - Dame Wendy Hall on Alan Turing

Computer Scientist Wendy Hall talks to Brian Cox about one of her personal heroes, Alan Turing, and discusses how his discoveries influenced so much in the modern world. Find out more about Alan Turing in our Google Arts and Culture exhibit: https://artsandculture.google.com/exhibit/peopl

From playlist People of Science with Brian Cox

Video thumbnail

Boris Adamczewski : Aléa, automates et transcendance

HYBRID EVENT L'étude du caractère aléatoire de la suite des chiffres de certains nombres réels donne lieu à des problèmes classiques, comme la conjecture de normalité des nombres algébriques ou la conjecture de dimensions de Furstenberg (1969). Malheureusement, notre capacité à les appréhe

From playlist Combinatorics

Video thumbnail

Fabien Durand - Sur le Théorème de Cobham (Part 2)

Sur le Théorème de Cobham (Part 2) Licence: CC BY NC-ND 4.0

From playlist École d’été 2013 - Théorie des nombres et dynamique

Video thumbnail

Campaign for the Turing Tenner

This year is the centenary of the birth of Alan Turing. Turing was a mathematician, father of computer science, and WWII code breaker. To celebrate his life there is a campaign to put a picture of Turing on the back of the next ten pound note. This would be amazing if it happened. UK citiz

From playlist My Maths Videos

Video thumbnail

Dr Anthony Lee, University of Warwick

Bio Anthony Lee has been an Assistant Professor of Statistics at the University of Warwick since 2013. He received BSc. and MSc. degrees in Computer Science from the University of British Columbia, and a DPhil. in Statistics from the University of Oxford in 2011. He was a Centre for Resea

From playlist Short Talks

Video thumbnail

Abraham Laboriel Bass Player Live 2014, Lifetime Achievement Award

Kala U•Bass endorsee Abraham Laboriel was awarded the Bass Player Magazine Lifetime Achievement Award for 2014. We are proud to have Abraham as an endorsee of our California U•BASS® series, hand-built in Petaluma, California: https://kalabrand.com/pages/california-ubass-series Abraham h

From playlist Music.

Video thumbnail

Teaching a computer to refuel an aeroplane

For a pilot, air-to-air refuelling is one of the most difficult and dangerous procedures to perform. Automating the process would not only eliminate the risk of human error but would also cut down the number of pilot hours required for training. Jonathan du-Bois, an engineer at Bristol Un

From playlist Ri Shorts

Video thumbnail

ArrrrCamp 2013 - Pirate Power Play: How to do computation by playing games

By Daan van Berkel Every pirate likes to play games. Whether to pass the time during long sea voyages or entertain fellow pirates around the drinking table, games are a wonderful pastime. Unfortunately the captain does not always understand. Would it not be great to have a proper defense

From playlist ArrrrCamp 2013

Video thumbnail

Alan Turing's lost radio broadcast rerecorded

On the 15th of May 1951 the BBC broadcasted a short lecture on the radio by the mathematician Alan Turing. His lecture was titled “Can Digital Computers Think?” and was part of a series of lectures which featured other leading figures in computing at the time. Unfortunately, these rec

From playlist My Maths Videos

Video thumbnail

Alan Turing and Number Theory - Yuri Matiyasevich (St. Petersburg) [2012]

slides for this talk: http://videolectures.net/site/normal_dl/tag=694395/turing100_matiyasevich_number_theory_01.pdf Alan Turing Centenary Conference Manchester, 2012 Alan Turing and Number Theory Yuri Matiyasevich, St.Petersburg Department of Steklov Mathematical Institute, Russian Aca

From playlist Mathematics

Related pages

Priority queue | Automatic sequence | Queueing theory | Cobham's theorem | P (complexity) | Operations research | Cobham's thesis