<p>Any such list is always subjective, but the best approach to answer this question is:</p>
<ol>
<li>Look at journals/conferences in the area you're interested in. For type theory, I'd look at <a href="https://dl.acm.org/conference/lics" rel="noreferrer">LICS</a>, <a href="https://lmcs.episciences.org/" rel="noreferrer">LMCS</a>, <a href="https://dl.acm.org/conference/popl" rel="noreferrer">POPL</a>, <a href="https://dl.acm.org/conference/icfp" rel="noreferrer">ICFP</a>, and <a href="https://www.cambridge.org/core/journals/journal-of-functional-programming" rel="noreferrer">JFP</a>.</li>
<li>Find papers that seem interesting, or are in the area you're interested in.</li>
<li>Look at the schools the authors are from.</li>
</ol>
<p>There's another important underlying point here, which is the <em>for graduate studies, the school matters much less than the supervisor</em>. 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.</p>

CC BY-SA 4.0
2021-11-28T21:42:56.730Z
2021-11-28T21:42:56.730Z
Joey Eremondi
<p>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.</p>

CC BY-SA 4.0
2021-11-27T23:30:11.463Z
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.
Blaisorblade
CC BY-SA 4.0
2021-11-28T00:22:53.527Z
@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.
Alvaro Pintado
CC BY-SA 4.0
2021-11-28T09:21:40.303Z
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.
Andrej Bauer
CC BY-SA 4.0
2021-11-28T12:58:51.793Z
Is this a candidate for a big-list of answers/ community wiki? There seem to be several places at least.
Hermann Gruber
<soft-question><type-theory>
Which universities in the U.S. are doing research in type theory?
Alvaro Pintado
# Which universities in the U.S. are doing research in type theory?

(Asked by: username_0 on 2021-11-27)

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.

**Tags:** soft-question, type-theory
> **Comments:**
> **username_1**: 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.  
> **username_0**: @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.  
> **username_2**: 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.  
> **username_3**: Is this a candidate for a big-list of answers/ community wiki? There seem to be several places at least.  

---

## 1 answers

### Answer by username_4 on 2021-11-28. Score: 14 | Accepted answer

Any such list is always subjective, but the best approach to answer this question is:

1. Look at journals/conferences in the area you're interested in. For type theory, I'd look at [LICS](https://dl.acm.org/conference/lics), [LMCS](https://lmcs.episciences.org/), [POPL](https://dl.acm.org/conference/popl), [ICFP](https://dl.acm.org/conference/icfp), and [JFP](https://www.cambridge.org/core/journals/journal-of-functional-programming).
2. Find papers that seem interesting, or are in the area you're interested in.
3. 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.


---

