Do you have direct experience with the Carnegie Mellon program? At one point I was seriously considering going there because of the logic & computation degree, and I might still consider it at some point in the future.
I mentioned CMU for the reasons you’ve stated and because Lukeprog endorsed their program once (no idea what evidence he had that I don’t).
I have also spoken to Katja Grace about it, and there is evidently a bit of interest in LW themes among the students there.
I’m unaware of other programs of a similar caliber, though there are bound to be some. If anyone knows of any, by all means list them, that was the point of my original comment.
Why do you say Carnegie Mellon? I’m assuming it’s because they have the Center for Formal Epistemology and a very nice-looking degree program in Logic, Computation and Methodology. But don’t some other universities have comparable programs?
Do you have direct experience with the Carnegie Mellon program? At one point I was seriously considering going there because of the logic & computation degree, and I might still consider it at some point in the future.
Confirmed, re: CMU phil. Email me for details (ilyas at cs.jhu.edu), I know a few people there. I think Katja Grace went there at one point (?)
I mentioned CMU for the reasons you’ve stated and because Lukeprog endorsed their program once (no idea what evidence he had that I don’t).
I have also spoken to Katja Grace about it, and there is evidently a bit of interest in LW themes among the students there.
I’m unaware of other programs of a similar caliber, though there are bound to be some. If anyone knows of any, by all means list them, that was the point of my original comment.