<p>I'm aware of at least two perfect places.</p>
<ol>
<li><p>Paris and suburbs. You might want to check websites of David Baelde/Gilles Dowek (ENS Paris-Saclay), Delia Kesner (IRIF), Dale Miller (INRIA Saclay).</p>
</li>
<li><p>Vienna. There is a strong group of Agata Ciabatoni and of Roman Kuznets.</p>
</li>
</ol>
<p>You also might check the list of the accepted papers for LICS/CSL/MFCS/FOSSACS/ESOP/JELIA and see the authors of the papers that seem to be related to proof theory.</p>

CC BY-SA 4.0
2020-10-15T23:07:52.017Z
BTW, both places offer masters scholarships so you might be interested in doing your master studies there. I did the first year of masters in Cachan and the plus is that after each year you do a 3-6 months research internship in the topic you like.
Bartosz Bednarczyk
CC BY-SA 4.0
2020-10-15T23:04:38.907Z
2020-11-01T14:31:20.153Z
2020-11-01T14:31:20.153Z
Bartosz Bednarczyk
<p>I'm an undergraduate student studying computer science and I'm interested in doing a PhD after I graduate. I would like to do research in proof theory and automated reasoning, specifically in automated theorem proving and mainly the theory behind these areas (I don't like implementation that much). Which universities are specialized in these fields?</p>
<p>Thanks in advance!</p>

<soft-question><career>
Which are the best universities for a DPhil/PhD in proof theory and automated reasoning?
frafle
# Which are the best universities for a DPhil/PhD in proof theory and automated reasoning?

(Asked by: username_0 on 2020-10-15)

I'm an undergraduate student studying computer science and I'm interested in doing a PhD after I graduate. I would like to do research in proof theory and automated reasoning, specifically in automated theorem proving and mainly the theory behind these areas (I don't like implementation that much). Which universities are specialized in these fields?

Thanks in advance!

**Tags:** soft-question, career


---

## 1 answers

### Answer by username_1 on 2020-10-15. Score: 5 | Accepted answer

I'm aware of at least two perfect places.

1. Paris and suburbs. You might want to check websites of David Baelde/Gilles Dowek (ENS Paris-Saclay), Delia Kesner (IRIF), Dale Miller (INRIA Saclay).
2. Vienna. There is a strong group of Agata Ciabatoni and of Roman Kuznets.

You also might check the list of the accepted papers for LICS/CSL/MFCS/FOSSACS/ESOP/JELIA and see the authors of the papers that seem to be related to proof theory.

> **Comments:**
> **username_1**: BTW, both places offer masters scholarships so you might be interested in doing your master studies there. I did the first year of masters in Cachan and the plus is that after each year you do a 3-6 months research internship in the topic you like.  

---

