Question about grad schools.

[Shriram Krishnamurthi <address@hidden>]

Matthew,

There are lots of schools doing research in these topics.  One of the
tricky questions is exactly what constitutes research, and what
constitutes these topics.  Let me suggest two good (and non-mutually
exclusive) ways of picking schools:

- find the papers you like

- apply to their authors

and

- determine which conferences publish the material that interests you
  (eg, Principles of Programming Languages, International Conference
  on Functional Programming, Foundations of Software Engineering, etc)

- see the authors and program committee members

- apply to them

The one thing to keep in mind is, just because a school is large
and/or has a good reputation, that doesn't mean it does anything in
this area.  Indeed, many large and good schools aren't.

Good luck!

Shriram