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

Robin Milner

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

OpenAlex
World rank
#99,926
of 7,710,434 ranked researchers
Rank in United Kingdom
#8,765
of 367,258
Works
193
Citations
38k
Citations per work
195.7
h-index
55
i10-index 97Top 0.6% in Computational Theory and Mathematics
Robin Milner

What does Robin Milner research?

Robin Milner's work is mostly in Computer Science (78%), Biochemistry, Genetics and Molecular Biology (2%).

Physical Sciences: 150 works · 77.9% of their workComputer Science: 150 works · 77.9% of their workComputational Theory and Mathematics: 61 works · 31.6% of their workArtificial Intelligence: 58 works · 30.3% of their workComputer Networks and Communications: 19 works · 9.9% of their workHardware and Architecture: 7 works · 3.5% of their workSoftware: 5 works · 2.6% of their workEverything else: 39 works · 20.1% of their workLife Sciences: 4 works · 2.0% of their workBiochemistry, Genetics and Molecular Biology: 4 works · 2.0% of their workMolecular Biology: 4 works · 2.0% of their workTHEIR WORKRobin Milner193works
Life Sciences2%Physical Sciences78%

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 Science15077.9%
  2. Everything else3920.1%
    1. Biochemistry, Genetics and Molecular Biology42.0%
  1. 1Computational Theory and Mathematics32% of their works
  2. 2Artificial Intelligence30% of their works
  3. 3Computer Networks and Communications10% of their works
  4. 4Hardware and Architecture4% of their works
  5. 5Software3% of their works
  6. 6Molecular Biology2% of their works

Research topics

Which keywords describe Robin Milner's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Automata, Satisfiability Modulo Theories, Symbolic Model Checker and Answer Set Programming.

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 19 words, with their numbers
  1. Model Checking1623 topics
  2. Temporal Logic882 topics
  3. Formal Verification741 topic
  4. Static Analysis741 topic
  5. Automata712 topics
  6. Satisfiability Modulo Theories511 topic
  7. Symbolic Model Checker511 topic
  8. Answer Set Programming371 topic
  9. Modal Logic371 topic
  10. Algorithmic Information Theory281 topic
  11. Computability281 topic
  12. Formal Languages201 topic
  13. Regular Expressions201 topic
  14. Distributed Systems181 topic
  15. Fault Tolerance181 topic
  16. Deadlock Prevention151 topic
  17. Petri Nets151 topic
  18. Parallel Computing111 topic
  19. Performance Optimization111 topic

Where does Robin Milner work?

Robin Milner's main affiliation in the publication record is University of Cambridge, United Kingdom.

How many publications and citations does Robin Milner have?

OpenAlex counts 193 works and 37,766 citations for Robin Milner, an h-index of 55, ranking #99,926 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 Robin Milner. 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.