Question 1

What does Jonathan Springer research?

Accepted Answer

Jonathan Springer publishes mostly in Artificial Intelligence, Computer Networks and Communications and Hardware and Architecture, on topics such as Formal Methods in Verification, Parallel Computing and Optimization Techniques and Logic, programming, and type systems.

Question 2

Which keywords describe Jonathan Springer's research?

Accepted Answer

The keywords of their largest research topics: High-Performance Computing, Model Checking, Parallel Computing, GPU Computing, Performance Optimization, Satisfiability Modulo Theories, Symbolic Model Checker and Distributed Systems.

Question 3

Where does Jonathan Springer work?

Accepted Answer

Jonathan Springer's main affiliation in the publication record is Reservoir Labs (United States), United States.

Question 4

How many publications and citations does Jonathan Springer have?

Accepted Answer

OpenAlex counts 20 works and 110 citations for Jonathan Springer, an h-index of 6, ranking #5,040,383 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Jonathan Springer's h-index high?

Accepted Answer

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