Science Explorer Back to mapMap
Discussion
Researcher · Synopsys (United States) · United States

Olivier Coudert

Olivier Coudert publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Software Testing and Debugging Techniques and Logic, programming, and type systems.

OpenAlex
World rank
#842,308
of 7,710,434 ranked researchers
Rank in United States
#279,702
of 1,627,098
Works
91
Citations
2.9k
Citations per work
31.5
h-index
27
i10-index 42Top 6.7% in Computational Theory and Mathematics
Olivier Coudert

What does Olivier Coudert research?

Olivier Coudert's work is mostly in Computer Science (49%), Engineering (10%), Arts and Humanities (4%).

Physical Sciences: 53 works · 58.7% of their workComputer Science: 44 works · 48.9% of their workComputational Theory and Mathematics: 15 works · 17.0% of their workArtificial Intelligence: 10 works · 11.5% of their workHardware and Architecture: 9 works · 10.2% of their workSoftware: 9 works · 10.2% of their workEngineering: 9 works · 9.8% of their workElectrical and Electronic Engineering: 9 works · 9.8% of their workEverything else: 34 works · 37.0% of their workSocial Sciences: 4 works · 4.3% of their workArts and Humanities: 4 works · 4.3% of their workArcheology: 4 works · 4.3% of their workTHEIR WORKOlivier Coudert91works
Physical Sciences59%Social Sciences4%

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
    1. Computer Science4448.9%
    2. Engineering99.8%
  2. Everything else3437.0%
    1. Arts and Humanities44.3%
  1. 1Computational Theory and Mathematics17% of their works
  2. 2Artificial Intelligence12% of their works
  3. 3Software10% of their works
  4. 4Hardware and Architecture10% of their works
  5. 5Electrical and Electronic Engineering10% of their works
  6. 6Archeology4% of their works

Research topics

Which keywords describe Olivier Coudert's research?

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, FPGA, Automated Testing, Software Fault Localization, Formal Verification and Low-Power.

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.

All 18 words, with their numbers
  1. Model Checking462 topics
  2. Satisfiability Modulo Theories341 topic
  3. Symbolic Model Checker341 topic
  4. FPGA162 topics
  5. Automated Testing131 topic
  6. Software Fault Localization131 topic
  7. Formal Verification121 topic
  8. Low-Power121 topic
  9. Static Analysis121 topic
  10. VLSI Circuits121 topic
  11. Embedded Cores101 topic
  12. Medieval Literature101 topic
  13. Occitan101 topic
  14. Test Data Compression101 topic
  15. ASIC81 topic
  16. High-Level Synthesis81 topic
  17. Placement81 topic
  18. Reconfigurable Computing81 topic

Where does Olivier Coudert work?

Olivier Coudert's main affiliation in the publication record is Synopsys (United States), United States.

How many publications and citations does Olivier Coudert have?

OpenAlex counts 91 works and 2,868 citations for Olivier Coudert, an h-index of 27, ranking #842,308 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised 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 Olivier Coudert. Posts are plain text and can be reported.