Question 1

What does Carsten Varming research?

Accepted Answer

Carsten Varming publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Sociology and Political Science, on topics such as Logic, programming, and type systems, Security and Verification in Computing and Logic, Reasoning, and Knowledge.

Question 2

Which keywords describe Carsten Varming's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Security, Security Policies, Side-Channel Attacks and Answer Set Programming.

Question 3

Where does Carsten Varming work?

Accepted Answer

Carsten Varming's main affiliation in the publication record is Amazon (United States), United States.

Question 4

How many publications and citations does Carsten Varming have?

Accepted Answer

OpenAlex counts 16 works and 324 citations for Carsten Varming, an h-index of 8, ranking #1,978,207 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Carsten Varming's h-index high?

Accepted Answer

An h-index of 8 is at or above that of 51% of the 146,054 ranked researchers whose main subfield is Artificial Intelligence, which is in the top 56%.