157
$\begingroup$

Stanford University now has a Youtube channel, with free access to HD video of full courses on everything from dynamical systems to quantum entanglement. More conferences and workshops are videotaping their talks. What are videos online that you think everyone should know about?

I'll seed this with a few answers to presentations that are mostly expository, but what I'm hoping might happen is that this community wiki could turn into a resource to share excellent presentations of new research, as well as a place to learn (or reinforce) background in an unfamiliar area.

$\endgroup$
3
  • $\begingroup$ Microsoft Research also has a youtube channel. I also like Dominic Verity's talk on category theory for programmers. Asking everyone to watch the same material seems like a bad idea because it will reduce diversity and increase groupthink. $\endgroup$ Sep 11, 2013 at 21:46
  • $\begingroup$ Do we have any videos lectures related to basic approximation and randomized algorithms. $\endgroup$
    – Kumar
    Dec 1, 2014 at 6:56
  • $\begingroup$ Can someone make an ongoing thread for the latest conference/workshop talks? IPCO, ICALP, STOC, FOCS etc that are available online? $\endgroup$
    – Hao S
    May 24, 2022 at 17:25

39 Answers 39

56
$\begingroup$

Timothy Gowers has a set of videos on Computational Complexity and Quantum Computation online.

$\endgroup$
4
  • 14
    $\begingroup$ I watched the first lecture in this series and find his explanation of Turing machines very awkward. Furthermore, he seems to suggest that circuits are somehow equal in power to TMs, which is not the case (unless there is more to them than he tells). He himself says he does not want to talk about "strange computation models" but rather about "familiar combinatorics" so I'd say these are rather maths, not TCS lectures. $\endgroup$
    – Raphael
    Oct 20, 2010 at 9:27
  • 6
    $\begingroup$ combinatorics is also part of TCS. $\endgroup$
    – Kaveh
    Apr 23, 2012 at 3:16
  • 2
    $\begingroup$ Is TCS not part of mathematics, broadly defined for sure? $\endgroup$
    – kodlu
    Apr 21, 2015 at 0:12
  • 2
    $\begingroup$ The sound quality is pathetic, amateur hour. $\endgroup$ Mar 23, 2020 at 7:31
41
$\begingroup$

Richard Feynman's Messenger Lectures restored, with annotations, by Microsoft's Tuva Project. Full disclosure: I've only watched two so far; they were awesome. (Not really TCS, but I had to start with these.)

$\endgroup$
4
  • 2
    $\begingroup$ The Vega Science Trust (vega.org.uk) also has some excellent Feynman talks on video, as well as talks from a bunch of other scientists. $\endgroup$ Oct 19, 2010 at 15:39
  • 3
    $\begingroup$ I get told that my browser won't support the format (Silverlight). Sigh. $\endgroup$ Jun 21, 2012 at 21:20
  • $\begingroup$ @JimHefferon Does ubuntugeek.com/… work for you? $\endgroup$
    – Simd
    Jun 8, 2014 at 8:26
  • $\begingroup$ While I admire what looks like a heroic effort to get it to go, no, I have never tried it. Thanks. $\endgroup$ Jun 8, 2014 at 14:15
35
$\begingroup$

Don Knuth's musings are great, always describing some amazing thing unknown to me before.

$\endgroup$
3
  • 1
    $\begingroup$ Can this videos be downloaded or do they have to be streamed using sliver light? $\endgroup$ Sep 10, 2011 at 18:08
  • 23
    $\begingroup$ I feel like Knuth himself would disapprove of having them locked up in a proprietary format, and it sure is inconvenient for me. $\endgroup$
    – Max
    Oct 22, 2011 at 20:12
  • 5
    $\begingroup$ @Max not anymore :-) (I updated the link). $\endgroup$
    – didest
    Apr 20, 2015 at 22:35
25
$\begingroup$

Stephen Boyd has his entire Stanford class on Convex Optimization online.

Some interesting comments and asides, covers same material as in his book.

$\endgroup$
23
$\begingroup$

Dan Spielman's Nevanlinna Prize lecture at Hyderabad 2010. I got this link from a blog post by Timothy Gowers; the post contains several more video and text links to the 2010 ICM.

$\endgroup$
21
$\begingroup$

There's a really interesting talk, given by Yuri Gurevich, on the Church-Turing thesis here.

$\endgroup$
20
$\begingroup$

The video section of IAS is also a great source of online courses. One of my favorite is:
Ketan Mulmuley. On P vs NP, Geometric Complexity Theory, and the Riemann Hypothesis.

$\endgroup$
19
$\begingroup$

FOCS (IEEE Symposium on Foundations of Computer Science)

$\endgroup$
1
  • $\begingroup$ @Diego de Estrada the site is down is there anywhere else I can find these videos? $\endgroup$
    – Hao S
    Apr 22, 2021 at 0:34
16
$\begingroup$

I do not know if this is a video lecture that everyone should watch, but I have decided on watching these to learn some Algebraic Topology. Seems pretty good to me so far.

Algebraic Topology Lectures

EDIT (Added Later). Another nice set of video lectures

Here is another wonderful set of lectures by Erik Demaine. The course is called Planar Graph Algorithms and Beyond and is being taught by Erik Demaine, Shay Mozes, Christian Sommer and Siamak Tazari. They are also using some sections of Phil Kliens draft on Planar Graphs. I feel certain that it will make a great book after having seen the first two lectures.

$\endgroup$
1
  • $\begingroup$ The course of Demaine et al. is amazing! $\endgroup$
    – didest
    Dec 2, 2011 at 1:00
15
$\begingroup$

For people interested in quantum computation, the talks of QIP 2010 are available here: http://www.qip2010.ethz.ch/programme

$\endgroup$
0
14
$\begingroup$

This might seem pretty preliminary to most people here, but I have greatly benefited from these since I am essentially self-taught. http://aduni.org/courses/theory/index.php?view=cw

$\endgroup$
13
$\begingroup$

A completely hilarious video (and also very educational) is Serre's now-famous video on how to write mathematics badly.

$\endgroup$
2
  • 5
    $\begingroup$ «We are sorry but sevenload doesn't offer its service in your country». Sad… $\endgroup$ Jun 1, 2011 at 17:36
  • 4
    $\begingroup$ @Artem: Maybe this link works for those outside the US? It works for me. $\endgroup$ Jul 28, 2011 at 20:00
13
$\begingroup$

I suggest the Channel 9 lectures: http://channel9.msdn.com/Tags/c9+lectures

I like specially the lectures from Erik Meijer on functional programming.

$\endgroup$
1
13
$\begingroup$

I enjoyed Scott Aaronson's lecture at Caltech titled "Quantum Computing and the Limits of the Efficiently Computable." This lecture, which was in honor of Feynman, rehashes what's common knowledge to users of this site but in a very clear and funny way.

$\endgroup$
12
$\begingroup$

Quantiki has a nice video abstract site, where people are free to post a short video (3-6 minutes) describing their recent papers/preprints. As it is part of Quantiki, it largely focuses on quantum information/computation.

$\endgroup$
12
$\begingroup$

STOC (ACM Symposium on Theory of Computing)

$\endgroup$
3
  • 2
    $\begingroup$ They're behind a paywall unfortunately... $\endgroup$ Aug 12, 2011 at 21:04
  • 1
    $\begingroup$ This is probably an old news, but the videos are now available for free (but you have to register (again, for free)) t.co/LtTmi32 $\endgroup$
    – Danu
    Oct 23, 2011 at 21:39
  • $\begingroup$ @Danu how do I access the videos? I only see articles no videos $\endgroup$
    – Hao S
    May 28, 2021 at 1:43
12
$\begingroup$

CCC (IEEE Conference on Computational Complexity)

$\endgroup$
11
$\begingroup$

Erik Winfree describes DNA self-assembly and molecular programming at a plenary talk at ASPLOS 2008. Probably the best rigorous introduction to the theory of self-assembly currently online.

$\endgroup$
11
$\begingroup$

Quantum Information, Computation and Complexity

$\endgroup$
1
  • $\begingroup$ awesome! how was i waiting for watching video lectures on this topic...to think about watching lectures of Charles Bennet! A rare treat! Thanks again $\endgroup$ Mar 2, 2011 at 1:44
11
$\begingroup$

Erik Demaine has the video lectures up from his Fall 2010 course on geometric folding algorithms that follows the textbook he coauthored with Joseph O'Rourke:

http://courses.csail.mit.edu/6.849/fall10/lectures/

The lectures are great as you'd expect. But what really stands out to me is the production values: Each lecture's web page has embedded slides and lecture notes that play along in synchrony with the video. It uses high-definition HTML5 video with all the synchronization of slides and lecture notes done in JavaScript. Hopefully this will set a new standard of excellence.

$\endgroup$
9
$\begingroup$

MIT's Youtube channel might be useful as well.

$\endgroup$
2
  • $\begingroup$ The link is already mentioned in the question itself! $\endgroup$ Apr 11, 2011 at 16:52
  • $\begingroup$ technically, only Stanford's youtube channel is mentioned $\endgroup$ Apr 11, 2011 at 16:56
8
$\begingroup$

Just found the following two websites. They were recommended by some folks, but I have not evaluated them yet:

$\endgroup$
7
$\begingroup$

I'm late to answer,but find Cristian Calude's lecture on Incompleteness excellent.

$\endgroup$
7
$\begingroup$

CS Theory Toolkit by Prof. Ryan O'Donnell.
Great for newbies, and includes interesting viewing angle on various topics:
https://www.youtube.com/playlist?list=PLm3J0oaFux3ZYpFLwwrlv_EHH9wtH6pnX

$\endgroup$
6
$\begingroup$

General audience talk by Michael Sipser about $\mathsf{P}$ vs. $\mathsf{NP}$:

Michael Sipser, "Beyond Computation: The P vs NP Problem", CMI Public Lecture, 2006.

Also available on youtube.

$\endgroup$
5
$\begingroup$

Videos from Banff events: this one is from the ongoing workshop on approximations.

$\endgroup$
5
$\begingroup$

These are a lectures series about Quantum Computation by professor David Deutsch

http://www.quiprocone.org/Protected/DD_lectures.htm

Another great series on Quantum Computation by Michael Nielsen aimed at the average Joe who wants to learn about Quantum Computation

https://m.youtube.com/#/playlist?gl=US&hl=en&client=mv-google&list=PL1826E60FD05B44E4

$\endgroup$
5
$\begingroup$

If you are interested in concurrency theory, programming languages or interactive theorem proving, I warmly recommend the videos of the recent Milner Symposium. For example J. Parrow's talk The pi-calculus: Origin and recent developments tells the beautiful story of the early development of $\pi$-calculus, and B. Pierce's talk Types à la Milner is a lucid overview of work on types for process calculi.

$\endgroup$
5
$\begingroup$

Following resources are very helpful: http://www.aduni.org/courses/ (Discrete Math, Algorithms, theory of computation and many others) and http://erikdemaine.org/classes/ (I particularly like the algorithms on planar graphs lecture and advanced data structure lec here)

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.