Home » forums » LtU Forum

Grad School [Master's Programs]

Well that time of my life has come and I am looking at grad schools. I am interested in PL and in particular the theory end of things (category theory - type theory - semantics). As I am an undergrad, it is really hard to get a good idea of where things are: e.g. I dont go to conferences, I don't have a strong grasp as where the field is heading, there is not much on the theory end of PL at my University.

Does anyone have any recommendations on universities?

Advice on how to evaluate universities?

Could someone give me a quick breakdown of the various departments and what they are strong at?

Icing : I would really like an English or partial English program in an non-English speaking country.

By tofupup at 2004-10-26 03:20 | LtU Forum | previous forum topic | next forum topic | other blogs | 7249 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

archive: grad schol advice

http://lambda-the-ultimate.org/node/view/201

By Dave Herman at Tue, 2004-10-26 11:43 | login or register to post comments

English and partial english courses

We have a pretty theoretically oriented masters' programme in Computational Logic here in Dresden, if you fancy German as your ambient language. All courses and teaching in English, but you can take oral examinations in German if you feel confident enough. Details at the IM/ICCL Dresden homepage; several CL students have gone on to do PhDs here in Dresden and elsewhere in Europe, so it has been pretty good as a springboard.

We also have a teaching cooperation with the University of Lisbon if you are interested in Portugese; they are also putting together a less theoretical MSc course.

I've been meaning to compile a list of English language graduate programs in Germany for a while now; maybe I will get around to it in the next few days.

By Charles A Stewart at Tue, 2004-10-26 17:00 | login or register to post comments

McMaster University

We have a large number of very theoretically-oriented faculty in the Computing and Software department at McMaster University. Many of us are ex-mathematicians, and we certainly have a higher-than-average number of faculty members who know and use category theory as well as type theory. In fact, we are just setting up a working group on applications of category theory to CS; we are also discussing setting up a working group on the topology of datatypes.

There is a lot of flexibility in course selection for the CS MSc programme. One could easily pick all theory courses, with most being directly relevant Programming Languages. Details at the CAS department homepage.

While Canada is (mostly) an English speaking country, there is enough French around to give things a different flavour. And in any case, our department is 80% filled with profs with English as their second (or third) language - one can hear quite a few languages in the halls.

How is that for shameless self-promotion? ;-)

By Jacques Carette at Wed, 2004-10-27 02:29 | login or register to post comments

Utrecht

You can find out about our Master's in Software Technology here.

By Frank Atanassow at Wed, 2004-10-27 15:12 | login or register to post comments

Chalmers

You might want to look into Chalmers; they're in Sweden and have a pretty cool-looking international Master's program in dependable computer systems. I don't have direct experience, but they've got some big names in Haskell there and it's in Sweden.

By Jacob Matthews at Sun, 2004-10-31 01:08 | login or register to post comments