Matthew Hennessy
Matthew Hennessy publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.
- World rank
- #72,550 of 1,633,909 ranked researchers
- Rank in United Kingdom
- #6,816 of 90,785
- Works
- 58
- Citations
- 480
- Citations per work
- 8.3
What does Matthew Hennessy research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence48% of their works
- 2Computational Theory and Mathematics40% of their works
- 3Computer Networks and Communications7% of their works
- 4Software2% of their works
- 5Signal Processing1% of their works
- 6Endocrine and Autonomic Systems1% of their works
Research topics
Which keywords describe Matthew Hennessy's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Automata, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker and Description Logics.
- Ontology
- Security Policies
- Fuzzy Logic
- Distributed Systems
- Formal Languages
- Answer Set Programming
- Description Logics
- Satisfiability Modulo Theories
- Formal Verification
- Temporal Logic
- Model Checking
- Automata
- Static Analysis
- Symbolic Model Checker
- Knowledge Representation
- Modal Logic
- Regular Expressions
- Fault Tolerance
- Residuated Lattices
- Side-Channel Attacks
- Semantic Web
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 21 words, with their numbers
- Model Checking523 topics
- Temporal Logic292 topics
- Automata282 topics
- Formal Verification231 topic
- Static Analysis231 topic
- Satisfiability Modulo Theories201 topic
- Symbolic Model Checker201 topic
- Description Logics112 topics
- Knowledge Representation112 topics
- Answer Set Programming91 topic
- Modal Logic91 topic
- Formal Languages81 topic
- Regular Expressions81 topic
- Distributed Systems41 topic
- Fault Tolerance41 topic
- Fuzzy Logic31 topic
- Residuated Lattices31 topic
- Security Policies31 topic
- Side-Channel Attacks31 topic
- Ontology21 topic
- Semantic Web21 topic
Where does Matthew Hennessy work?
Matthew Hennessy's main affiliation in the publication record is University of Sussex, United Kingdom.
How many publications and citations does Matthew Hennessy have?
Science Explorer counts 58 works and 480 citations for Matthew Hennessy, ranking #72,550 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.