Question 1

What does Robin Milner research?

Accepted Answer

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.

Question 2

Which keywords describe Robin Milner's research?

Accepted Answer

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.

Question 3

Where does Robin Milner work?

Accepted Answer

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

Question 4

How many publications and citations does Robin Milner have?

Accepted Answer

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.

Question 5

Is Robin Milner's h-index high?

Accepted Answer

An h-index of 55 is at or above that of 99.4% of the 19,601 ranked researchers whose main subfield is Computational Theory and Mathematics, which is in the top 0.6%.