Hello Job, CMU http://www.csd.cs.cmu.edu/research/areas/principleprogr/, UPenn http://www.cis.upenn.edu/~plclub/, Harvard, TTI-Chiago /UChicago
all have excellent faculty who do work related to typed functional programming languages. Other places worth at least checking out are: Northeastern university in boston - they have scheme heavy hitters like olin shivers and matthias felleisen, and their PLT faculty are world class U Utah - http://matt.might.net/ (he's got some really cool control flow analysis stuff) Yale has a blend of systems verification work and DSL related work by the two pl faculty Rice in texas - walid taha and maybe some others UW seattle has has some PL folks at points, though i'm not sure which active people are currently there, PSU http://www.cs.pdx.edu/research/research has some folks who aren't very active i think UCSD has at least one plt dude http://cseweb.ucsd.edu/users/lerner/ the may be some other places that i'm over looking, like cornell, though i don't think there are currently any *functional* pl theory folks there currently, eg UCLA. I think that covers the bulk of strong PL faculty in the US who do functionalish things who are at schools which have CS phd programs also bear in mind when applying to schools that many departments are currently admitting fewer students than they've typically in the past due to funding constraints, so subject to whatever budget constraints you have (or none if you can get a fee waiver), apply to as many programs that you are genuinely interested in going to as is possible, even relatively small programs can have only 8 admitted student slots across all areas of CS and 200+ applicants! Best -Carter Schonwald On Thu, May 13, 2010 at 1:53 PM, Pierre-Etienne Meunier < pierreetienne.meun...@gmail.com> wrote: > If you imperatively need to stay in the US, I do not know if there's even > one. If you do not have problems with traveling, you can have a look at : > > http://mpri.master.univ-paris7.fr/ > > Which gathers the best french students (from such schools as Ecole > Polytechnique, ENS Ulm, ENS Cachan). Or I know else of people who did a > Ph.D. in sweden with Thierry Coquand for instance. Per Martin-Löf is there > too. > > > Cheers, > PE > > > El 13/05/2010, a las 13:41, Job Vranish escribió: > > > Anybody know of a good grad school in the US for functional languages? > > (good = has Ph.D. program that covers functional languages, type systems, > correctness proofs, etc...) > > > > So far Indiana University is the only one I've found that has a strong > showing in this area. > > > > A way to get into one of the awesome UK schools for free would work too > :D > > > > - Job > > _______________________________________________ > > Haskell-Cafe mailing list > > Haskell-Cafe@haskell.org > > http://www.haskell.org/mailman/listinfo/haskell-cafe > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe