Good US Grad schools for functional languages?
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
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
Thanks for the input. I don't have problems with traveling. The two main obstacles with going to a school in Europe are: 1. Cost 2. I only speak english I would be more than willing to learn another language, but I would like to start working towards a PhD in the next year or so, and I don't think I'd have enough time. - Job On Thu, May 13, 2010 at 1:47 PM, Pierre-Etienne Meunier < pierreetienne.meunier@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
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
Anybody know of a good grad school in the US for functional languages?
If you imperatively need to stay in the US, I do not know if there's even one.
That's pretty harsh! Just in the northeastern US, we have CMU, UPenn, Harvard, Northeastern, Princeton, Yale, Cornell (and maybe others I'm forgetting). All of these school have world-class faculty who supervise PhD students in programming languages. And there are many similarly excellent schools in other parts of the country too... Of course, I'm partial. --Chris Casinghino
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@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
I'd also think of Harvard (Morrisset), Tufts (Ramsey), Portland State (Jones, Sheard), Yale (Hudak), North Eastern (Wand, Felleisen, Shivers), Utah (Flatt), Chicago (Reppy, MacQueen), North Western (Findler). Simon From: haskell-cafe-bounces@haskell.org [mailto:haskell-cafe-bounces@haskell.org] On Behalf Of Job Vranish Sent: 13 May 2010 18:41 To: Haskell Cafe mailing list Subject: [Haskell-cafe] Good US Grad schools for functional languages? 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
On 5/13/10, Job Vranish
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...)
At Portland State, faculty include Andrew Tolmach, Jim Hook, Mark Jones, Tim Sheard, and Sergio Antoy, all names that should be familiar to anyone who knows the functional programming literature. We have faculty members who have served as program chairs and general chairs for ICFP; who have given invited talks at ICFP; who have co-organized the ICFP programming contest in two different years; who have served on the Haskell committee; and who are slated to or have lectured at the Oregon Programming Languages Summer School and the Advanced Functional Programming workshop. The first three names on that list of faculty members are members of the HASP group (High Assurance Systems Programming), which is an active research group focused on developing a call-by-value Haskell variant for systems programming. More info at http://hasp.cs.pdx.edu/ We currently have seven Ph.D students (including myself) and room (including funding) for more. Prospective students should use the contact info given on the above-linked web page (or contact me if you would prefer to talk to a current grad student). Tim Sheard also has funding for Ph.D students to work on the development of a new dependently typed language (this is a joint project with Stephanie Weirich at Penn and Aaron Stump at Iowa). For a bit of history, PSU absorbed many of the computer science faculty members who left the Oregon Graduate Institute in 2003-2004 when OGI shut down most of its computer science department (this group includes Jones, Sheard, and Hook). As a third-year grad student, I can attest that it's a top-quality and collegial department, full of people who have a passion for functional programming. Portland as a whole has an enthusiastic FP community outside academe -- for example, with the pdxfunc study group ( http://groups.google.com/group/pdxfunc ) and public talks at Galois ( http://www.galois.com/blog/ ). tl;dr: Portland State wants you! See http://hasp.cs.pdx.edu/ and/or contact me (or the people listed on that page) for more details. Cheers, Tim -- Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt "It's never too early to start drilling holes in your car." -- Tom Magliozzi
2010/05/17 Tim Chevalier
The first three names on that list of faculty members are members of the HASP group (High Assurance Systems Programming), which is an active research group focused on developing a call-by-value Haskell variant for systems programming. More info at http://hasp.cs.pdx.edu/
Does call-by-value mean actually strict? Looking over the page on execution order on Wikipedia, it seems that there are degrees of strictness. I'm curious about the choice that was made with HASP. They seem to have bottom, according to the report; yet I don't know how you'd have bottom without laziness of some kind. -- Jason Dusek Linux User #510144 | http://counter.li.org/
participants (7)
-
Carter Schonwald -
Chris Casinghino -
Jason Dusek -
Job Vranish -
Pierre-Etienne Meunier -
Simon Peyton-Jones -
Tim Chevalier