Video Lectures

Separate tags with a comma.

In the previous talk, we defined Subgroup Tests and the interactive proof system induced by them. In addition, we showed that if the Aldous--Lyons conjecture was true, then this interactive proof system contains only decidable languages. In this...

I’ll discuss an old technique called intensity interferometry, pioneered by Hanbury Brown and Twiss (HBT) that allows us to achieve sub-microarcsecond angular resolution using ordinary ground-based optical telescopes observing visible light.  This...