9
$\begingroup$

Research about type theory, internal languages, intuitionism, constructivism, and proof assistants is, at the moment, not as fashionable as other branches of mathematics are, say for example algebraic geometry and topology. Furthermore, the people who are involved are distributed evenly over mathematics, computer science and philosophy departments. For example, I could not find a single type theory research group in Berlin, even though Berlin has three large universities. At the moment I have a big list of universities lying next to my computer, and I am browsing through each departments website to find out if there is someone in the department who does type theory. But then I realized that, a) I might not be the only person who has this problem, and b) my solution is really time consuming and stupid. So here is my question:

Where can I find research groups which work on type theory and the semantic of programming languages? I am interested to know about groups which sit in Germany and England, but of course a list of interest to the general reader of this side could include groups all over the world. I believe that type theory research is rare enough that it is realistic to create such a list.

$\endgroup$
23
  • 2
    $\begingroup$ Perhaps Meta might be a good place to put this question. In general, a question like “is this Q appropriate for this place?” is perfect for that, and you might have have informative answers (about research groups) there! $\endgroup$ Feb 24, 2022 at 13:09
  • 1
    $\begingroup$ I’m voting to close this question because this "meta-question" should probably have been asked on Meta instead. $\endgroup$
    – ErikMD
    Feb 24, 2022 at 13:57
  • 3
    $\begingroup$ @ErikMD we could debate whether this is on topic for this site, but i really don't think this is appropriate for meta. Meta is for questions specific to the site itself and has much less traffic. $\endgroup$
    – Couchy
    Feb 24, 2022 at 14:38
  • 1
    $\begingroup$ @Rob Okay. I just wanted to defend my question a bit, as Guy Coder suggested I should. $\endgroup$
    – Nico
    Feb 26, 2022 at 9:20
  • 1
    $\begingroup$ @Rob Yes, and "where are the people" questions are the most important kind of question which we can ask each other, in my opinion. We need connections and community much more than we need technical details. It is cool to have a place where you can ask technical questions, but it is not the only thing that counts. I really want to write my thesis in the field of type theory/categorical logic and I really struggle to find "the people". And I bet I am not the only one. What is so wrong about a "where are the people" question? $\endgroup$
    – Nico
    Feb 26, 2022 at 15:23

1 Answer 1

4
$\begingroup$

External links

The following pages mention researchers interested in the foundations or applications of proof assistants:

$\endgroup$
1
  • 1
    $\begingroup$ This is a very first version of a possible answer (with just 3 external links for the time being). So the structure that this wiki answer should have should definitely be discussed! (suggestions and edits are very welcome :) $\endgroup$
    – ErikMD
    Feb 27, 2022 at 21:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.