Question 1

What does Van Chan Ngo research?

Accepted Answer

Van Chan Ngo publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Logic, programming, and type systems.

Question 2

Which keywords describe Van Chan Ngo's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Embedded Systems, High-Level Synthesis, Reconfigurable Computing, Formal Verification and Static Analysis.

Question 3

Where does Van Chan Ngo work?

Accepted Answer

Van Chan Ngo's main affiliation in the publication record is Embedded Systems (United States), United States.

Question 4

How many publications and citations does Van Chan Ngo have?

Accepted Answer

OpenAlex counts 30 works and 217 citations for Van Chan Ngo, an h-index of 7, ranking #5,656,873 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Van Chan Ngo's h-index high?

Accepted Answer

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