Theoretical CS Opportunities at Harvard

[I don't have much to add to Luca, Scott, and Lipton/Regan on the exciting announcement by Babai of a quasipolynomial time graph isomorphism algorithm. I can't wait to hear the details! --Boaz] Aided by some very generous gifts, Computer Science is on a growth streak at Harvard, and in particular there are some new opportunities in Theoretical Computer … Continue reading Theoretical CS Opportunities at Harvard

Is computational hardness the rule or the exception?

As a cryptographer, I am used to the viewpoint that computational problems are presumed hard unless proven otherwise. We cryptographers constantly come up with new hardness assumptions, and generally use the heuristic that if a problem doesn't have an obvious algorithm then it must be hard. We've had some interesting failures (see here for a recent example), but this heuristic seems … Continue reading Is computational hardness the rule or the exception?

FOCS 2015 and KARPFest80

[Forwarding an announcement by Prasad Raghavendra --Boaz] FOCS 2015 will be held at Berkeley, California on October 18–20, 2015. Registrations are open at: http://focs15.simons.berkeley.edu/registration.html The deadline for early registration is Sept 25th. KARPfest80 On Saturday October 17, the day immediately before FOCS 2015, the Simons Institute for the Theory of Computing will host a celebration … Continue reading FOCS 2015 and KARPFest80

Sanjeev Arora on rethinking the graduate algorithms course

[Below is a guest post from Sanjeev Arora on his redesign of the traditional graduate algorithms course to be a better match for today's students. --Boaz] For the last two years I have tried new ideas in teaching algorithms at the graduate level. The course is directed at first year CS grads, but is also taken by grads … Continue reading Sanjeev Arora on rethinking the graduate algorithms course