Science Explorer Back to mapMap
Discussion
Researcher · University of Edinburgh · United Kingdom

Philip L. Wadler

Philip L. Wadler publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.

ORCID 0000-0001-7619-6378 OpenAlex
World rank
#38,253
of 7,710,434 ranked researchers
Rank in United Kingdom
#2,989
of 367,258
Works
270
Citations
18k
Citations per work
65.6
h-index
60
i10-index 135Top 0.5% in Artificial Intelligence
Philip L. Wadler

What does Philip L. Wadler research?

Philip L. Wadler's work is mostly in Computer Science (84%).

Physical Sciences: 228 works · 84.3% of their workComputer Science: 228 works · 84.3% of their workArtificial Intelligence: 122 works · 45.1% of their workComputational Theory and Mathematics: 41 works · 15.1% of their workComputer Networks and Communications: 25 works · 9.3% of their workInformation Systems: 19 works · 7.1% of their workHardware and Architecture: 12 works · 4.5% of their workSoftware: 9 works · 3.2% of their workEverything else: 42 works · 15.7% of their workTHEIR WORKPhilip L. Wadler270works
Physical Sciences84%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science22884.3%
  2. Everything else4215.7%
  1. 1Artificial Intelligence45% of their works
  2. 2Computational Theory and Mathematics15% of their works
  3. 3Computer Networks and Communications9% of their works
  4. 4Information Systems7% of their works
  5. 5Hardware and Architecture4% of their works
  6. 6Software3% of their works

Research topics

Which keywords describe Philip L. Wadler's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Description Logics, Knowledge Representation, Satisfiability Modulo Theories and Symbolic Model Checker.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 20 words, with their numbers
  1. Model Checking3003 topics
  2. Formal Verification1711 topic
  3. Static Analysis1711 topic
  4. Temporal Logic1292 topics
  5. Description Logics852 topics
  6. Knowledge Representation852 topics
  7. Satisfiability Modulo Theories671 topic
  8. Symbolic Model Checker671 topic
  9. Answer Set Programming621 topic
  10. Modal Logic621 topic
  11. Continuous Queries391 topic
  12. Data Stream Management391 topic
  13. Code Clone Detection301 topic
  14. Refactoring301 topic
  15. Parallel Computing291 topic
  16. Performance Optimization291 topic
  17. Ontology231 topic
  18. Semantic Web231 topic
  19. Autonomic Computing181 topic
  20. Self-Adaptive Systems181 topic

Where does Philip L. Wadler work?

Philip L. Wadler's main affiliation in the publication record is University of Edinburgh, United Kingdom.

How many publications and citations does Philip L. Wadler have?

OpenAlex counts 270 works and 17,706 citations for Philip L. Wadler, an h-index of 60, ranking #38,253 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Philip L. Wadler. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.