Olivier Hermant
Olivier Hermant publishes mostly in Artificial Intelligence, Geophysics and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Seismic Imaging and Inversion Techniques.
- World rank
- #1,214,942 of 1,633,909 ranked researchers
- Rank in France
- #74,382 of 96,116
- Works
- 23
- Citations
- 29
- Citations per work
- 1.3
What does Olivier Hermant research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence41% of their works
- 2Geophysics26% of their works
- 3Computational Theory and Mathematics15% of their works
- 4Information Systems4% of their works
- 5Oceanography4% of their works
- 6Geology4% of their works
Research topics
Which keywords describe Olivier Hermant's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Knowledge Representation, Static Analysis, Temporal Logic, Answer Set Programming, Modal Logic and Full-Waveform Tomography.
- Side-Channel Attacks
- Security Policies
- Ontology
- Seismic Noise
- Fuzzy Logic
- Full-Waveform Tomography
- Answer Set Programming
- Static Analysis
- Formal Verification
- Model Checking
- Knowledge Representation
- Temporal Logic
- Modal Logic
- Seismic Waveform Inversion
- Residuated Lattices
- Tomography
- Satisfiability Modulo Theories
- Semantic Web
- Symbolic Model Checker
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 19 words, with their numbers
- Model Checking103 topics
- Formal Verification51 topic
- Knowledge Representation52 topics
- Static Analysis51 topic
- Temporal Logic52 topics
- Answer Set Programming41 topic
- Modal Logic41 topic
- Full-Waveform Tomography31 topic
- Seismic Waveform Inversion31 topic
- Fuzzy Logic21 topic
- Residuated Lattices21 topic
- Seismic Noise21 topic
- Tomography21 topic
- Ontology11 topic
- Satisfiability Modulo Theories11 topic
- Security Policies11 topic
- Semantic Web11 topic
- Side-Channel Attacks11 topic
- Symbolic Model Checker11 topic
Where does Olivier Hermant work?
Olivier Hermant's main affiliation in the publication record is Centre de Recherche en Informatique, France.
How many publications and citations does Olivier Hermant have?
Science Explorer counts 23 works and 29 citations for Olivier Hermant, ranking #1,214,942 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.