Logic, programming, and type systems
Logic, programming, and type systems is a research topic within Artificial Intelligence. Science Explorer counts 39k research works in it since 1950. 23.6% of them reached the world's top 10% most cited for their field and year.
This cluster of papers covers a wide range of program analysis and verification techniques, including static analysis, formal verification, type inference, memory management, concurrency, garbage collection, separation logic, model checking, abstract interpretation, and programming language semantics.
- Static Analysis
- Formal Verification
- Type Inference
- Memory Management
- Concurrency
- Garbage Collection
- Separation Logic
- Model Checking
- Abstract Interpretation
- Programming Language Semantics
- Research works
- 39k fractional, since 1950
- In the world top 10%
- 9.1k per year above
- Top-10% rate
- 23.6% share of its works in the world top 10%
- Growth, 2013–17 → 2018–22
- -23% the tick is no change
Which countries lead Logic, programming, and type systems research?
By volume, the United States and Germany publish the most (467 and 257 works in 2022–2025).
By volume, 2022–2025
- 1 United States 467 works
- 2 Germany 257 works
- 3 France 235 works
- 4 United Kingdom 223 works
- 5 China 165 works
- 6 Italy 149 works
- 7 Japan 107 works
- 8 Netherlands 93 works
- 9 Canada 66 works
- 10 Austria 64 works
How concentrated that is
The same countries as shares of everything the list above accounts for. A node where two countries do two thirds of the work and one spread evenly across twelve read alike as a ranking and not at all alike here.
Shares of the rows listed above, not of the whole node.
Which institutions lead Logic, programming, and type systems research?
By volume in 2022–2025, Centre National de la Recherche Scientifique publishes the most Logic, programming, and type systems research, followed by TU Wien and University of Oxford.
By volume, 2022–2025
- 1 Centre National de la Recherche Scientifique France 35 works
- 2 TU Wien Austria 29 works
- 3 University of Oxford United Kingdom 25 works
- 4 Carnegie Mellon University United States 23 works
- 5 University of Cambridge United Kingdom 19 works
- 6 Institut national de recherche en sciences et technologies du numérique France 19 works
- 7 University of Copenhagen Denmark 17 works
- 8 University of Amsterdam Netherlands 16 works
- 9 Imperial College London United Kingdom 16 works
- 10 RWTH Aachen University Germany 15 works
Who are the leading researchers in Logic, programming, and type systems?
The most-cited researchers publishing on Logic, programming, and type systems include E. ̃Tassi, Adi Shamir and Donald E. Knuth.
- 1 E. ̃Tassi 6.9k citations
- 2 Adi Shamir 6.3k citations
- 3 Donald E. Knuth 4k citations
- 4 Robert E. Tarjan 3.9k citations
- 5 Łukasz Kaiser 3.7k citations
Ranked by citations received across their whole record, among researchers with at least three works on this topic.
Where is Logic, programming, and type systems research done?
The largest centres of Logic, programming, and type systems research in 2022–2025 are Paris (France), Beijing (China), London (United Kingdom) and Moscow (Russia). Among places with at least 20 works in it, it is an unusually large share of all research in Saarbrücken.
Largest cities, 2022–2025
Where it is the local speciality
- SaarbrückenDE · 26.9 works31×
Location quotient: how much more of its research is in Logic, programming, and type systems than the world average.
Where is the best place to study Logic, programming, and type systems?
Among universities, judged by research, TU Wien, Carnegie Mellon University and Ruhr University Bochum score highest, combining excellence, specialisation, size, growth and international reach. Research strength is one signal when choosing where to study; it does not measure teaching.
One dot per university in the table below. The upper left is the interesting corner: small places doing unusually strong work.
| # | University | Score | Top 10% | Specialisation | Works | Growth |
|---|---|---|---|---|---|---|
| 1 | TU Wien Austria | 60.2 | 11.3% | 35.8× | 29 | +37.8% |
| 2 | Carnegie Mellon University United States | 52.4 | 8.5% | 21.9× | 23 | +35.4% |
| 3 | Ruhr University Bochum Germany | 51.6 | 7.8% | 10.6× | 11 | +201.2% |
| 4 | University of Oxford United Kingdom | 49.8 | 13.6% | 7.8× | 25 | -30.2% |
| 5 | University of Amsterdam Netherlands | 49.7 | 11.6% | 11.8× | 16 | -17.0% |
| 6 | Aarhus University Denmark | 46.9 | 16.6% | 8.1× | 15 | -11.4% |
| 7 | University of Tübingen Germany | 46.8 | 10.6% | 14.4× | 14 | +4.3% |
| 8 | Tallinn University of Technology Estonia | 46.8 | 12.3% | 31.0× | 10 | +34.2% |
| 9 | University of Copenhagen Denmark | 46.7 | 6.8% | 9.7× | 17 | -27.7% |
| 10 | University College London United Kingdom | 46.7 | 19.0% | 3.7× | 13 | +224.5% |
Universities only. Score blends excellence (30%), specialisation (25%), size (20%), growth (15%) and international reach (10%), 2015–2022; growth compares 2010–14 with 2015–19.
Is Logic, programming, and type systems research growing?
Output in 2018–2022 was 23% lower than in 2013–2017, peaking in 2002.
The same series as a ribbon — one cell per year, darker for more. The line above answers how much; this answers when.
Which topics inside it are moving
Growth and decline on one axis around a shared zero. Two lists side by side hide the thing that matters: whether the growth dwarfs the decline, or the other way round.