The question is meant to be broad in that recommendations with mentions of the particular areas within type theory research are greatly appreciated. Also, the research need not be conducted in computer science departments. Thanks in advance.
$\begingroup$
$\endgroup$
4
-
1$\begingroup$ Do you mean Martin-Löf (dependent) Type Theory, or type systems in general, or uses of dependent type theory for program verification? Because those are related but pretty different areas, and the first (type theory in the strict sense) seems much smaller in the US, and much more European... Off the top of my head, Stephanie Weirich, Aaron Stump, and the Constable group count for type theory, and maybe Brigitte Pientka. Program verification using Coq is a much larger area. $\endgroup$– BlaisorbladeNov 27, 2021 at 23:30
-
$\begingroup$ @Blaisorblade All the people you mentioned are doing the kind of research I had in mind (I see the phrase "computational logic" used, maybe that helps). But I am also interested in schools that do research in MLTT...so I guess in every sense. I became aware of this research as a math person learning about HoTT. In doing that, I've gotten the sense that there is more general research in type theories, semantics of type theories, its connection to classical/ non-classical logic and category theory. I want to know more about this type of stuff and where its done. I hope that helps explain. $\endgroup$– Alvaro P.Nov 28, 2021 at 0:22
-
4$\begingroup$ Carnegie Mellon University. In the School of Computer Science you have the PL group (Robert Harper, Frank Pfenning, Karl Crary, and others). In the Philosophy Department you have got Steven Awodey. This may be the largest US concentration of type theory. Mike Shulman is in San Diego. $\endgroup$– Andrej BauerNov 28, 2021 at 9:21
-
2$\begingroup$ Is this a candidate for a big-list of answers/ community wiki? There seem to be several places at least. $\endgroup$– Hermann GruberNov 28, 2021 at 12:58
Add a comment
|
1 Answer
$\begingroup$
$\endgroup$
Any such list is always subjective, but the best approach to answer this question is:
- Look at journals/conferences in the area you're interested in. For type theory, I'd look at LICS, LMCS, POPL, ICFP, and JFP.
- Find papers that seem interesting, or are in the area you're interested in.
- Look at the schools the authors are from.
There's another important underlying point here, which is the for graduate studies, the school matters much less than the supervisor. So you're far better off looking for the research you're interested in, and then trying to work with the people conducting it, then to choose a school first and then try to find a supervisor and area.
