In your linked piece, you were talking about formal epistemology. Here you say "formal philosophy." Is that a typo, or do you think that formal epistemology exhausts formal philosophy? (I would hope not the latter, since lots of formal work gets done in philosophy outside epistemology!)
Formal epistemology is a subfield within formal philosophy, probably the largest.
I've long held CMU's philosophy department in high regard. One of their leading lights, Clark Glymour, recently published a short manifesto, which Brian Leiter summed up as saying that "the measure of value for philosophy departments is whether they are taken seriously by computer scientists."
Selected quote from Glymour's manifesto:
Also see the critique here, but I'd like to have Glymour working on FAI.