Van Chan Ngo
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.
- World rank
- #5,656,873 of 7,710,434 ranked researchers
- Rank in United States
- #1,411,101 of 1,627,098
- Works
- 30
- Citations
- 217
- Citations per work
- 7.2
What does Van Chan Ngo research?
Van Chan Ngo's work is mostly in Computer Science (92%), Engineering (2%).
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
- Physical Sciences2894.1%
- Computer Science2891.8%
- Engineering12.3%
- Everything else25.9%
- 1Computational Theory and Mathematics29% of their works
- 2Hardware and Architecture26% of their works
- 3Artificial Intelligence26% of their works
- 4Software8% of their works
- 5Information Systems2% of their works
- 6Control and Systems Engineering2% of their works
Research topics
Which keywords describe Van Chan Ngo's research?
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.
- Scheduling Algorithms
- Causal Inference
- Side-Channel Attacks
- Software Fault Localization
- Parallel Computing
- Static Analysis
- Reconfigurable Computing
- Embedded Systems
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- High-Level Synthesis
- Formal Verification
- Automated Testing
- Performance Optimization
- Security Policies
- Bayesian Networks
- Hard Real-Time Systems
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 18 words, with their numbers
- Model Checking372 topics
- Satisfiability Modulo Theories241 topic
- Symbolic Model Checker241 topic
- Embedded Systems172 topics
- High-Level Synthesis151 topic
- Reconfigurable Computing151 topic
- Formal Verification131 topic
- Static Analysis131 topic
- Automated Testing51 topic
- Parallel Computing51 topic
- Performance Optimization51 topic
- Software Fault Localization51 topic
- Security Policies41 topic
- Side-Channel Attacks41 topic
- Bayesian Networks31 topic
- Causal Inference31 topic
- Hard Real-Time Systems21 topic
- Scheduling Algorithms21 topic
Where does Van Chan Ngo work?
Van Chan Ngo's main affiliation in the publication record is Embedded Systems (United States), United States.
How many publications and citations does Van Chan Ngo have?
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.
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 Van Chan Ngo. 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.