27 subscribers
Przejdź do trybu offline z Player FM !
#48 Bell Labs - David MacQueen
Manage episode 462284355 series 2951423
In this episode we continue with our conversation with David MacQueen, he is an Emeritus Professor from the University of Chicago, and has worked at Bell Labs for 20 years.
Bell Labs began as the research and development section of the American Telephone and Telegraph company, aka AT&T, which originally hold exclusive hold of the telephone patent. Once that expired in the 1800s they needed to develop new technology to prove that it was still the best company, and hence Bell Labs was born.
Over the course of the years this fascinating institution has registered more than 26 thousand patents, among of which we have the transistor, the laser, the solar cell and communication satellites. Over the course of the last 88 years they were awarded a jaw dropping amount of 10 Nobel prizes and 5 Turing awards.
In this interview David MacQueen shares with us how was it like to work in such an incredible institution during it’s golden age. He shares insights about the technology, the space, the people, the management style, and much more!
Links
87 odcinków
Manage episode 462284355 series 2951423
In this episode we continue with our conversation with David MacQueen, he is an Emeritus Professor from the University of Chicago, and has worked at Bell Labs for 20 years.
Bell Labs began as the research and development section of the American Telephone and Telegraph company, aka AT&T, which originally hold exclusive hold of the telephone patent. Once that expired in the 1800s they needed to develop new technology to prove that it was still the best company, and hence Bell Labs was born.
Over the course of the years this fascinating institution has registered more than 26 thousand patents, among of which we have the transistor, the laser, the solar cell and communication satellites. Over the course of the last 88 years they were awarded a jaw dropping amount of 10 Nobel prizes and 5 Turing awards.
In this interview David MacQueen shares with us how was it like to work in such an incredible institution during it’s golden age. He shares insights about the technology, the space, the people, the management style, and much more!
Links
87 odcinków
Wszystkie odcinki
×
1 #47 The History of LCF, ML and HOPE - David MacQueen 2:05:04

1 #46 Realizability, BHK, CPS Translation, Dialectica - Pierre-Marie Pédrot 1:03:36

1 #45 What is Type Theory and What Properties we Should Care About - Pierre-Marie Pédrot 1:21:41

1 #44 Theorem Prover Foundations, Lean4Lean, Metamath - Mario Carneiro 2:13:31

1 #43 PL in the Industry and Summer Schools - Patrick and Eric 1:01:30

1 #42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi 1:52:49

1 #41 The Value of PL (and) Education - Satnam Singh 1:41:04

1 #39 Equality, Quotation, Bidirectional Type Checking - David Christiansen 1:49:42

1 #38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen 1:55:58

1 #37 Compilers, Staging, Futamura Projections - Guannan Wei 1:53:20

1 #36 Behind the Person Behind this Podcast - Pedro Abreu 1:49:55

1 #35 Teika, Self-Education and F***ing Floating Points - Eduardo Rafael 1:21:29

1 #34 Foundations of Theorem Provers and Cedille2 - Andrew Marmaduke 1:28:27
Zapraszamy w Player FM
Odtwarzacz FM skanuje sieć w poszukiwaniu wysokiej jakości podcastów, abyś mógł się nią cieszyć już teraz. To najlepsza aplikacja do podcastów, działająca na Androidzie, iPhonie i Internecie. Zarejestruj się, aby zsynchronizować subskrypcje na różnych urządzeniach.