[Haskell-cafe] Good US Grad schools for functional languages?

[Carter Schonwald]

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.meunier at 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 at haskell.org
> > http://www.haskell.org/mailman/listinfo/haskell-cafe
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100513/b87ea899/attachment.html