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?