Jan Hoffmann
Jan Hoffmann publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Bayesian Modeling and Causal Inference.
- World rank
- #840,183 of 1,633,909 ranked researchers
- Rank in United States
- #236,175 of 358,040
- Works
- 18
- Citations
- 74
- Citations per work
- 4.1
What does Jan Hoffmann research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence33% of their works
- 2Computational Theory and Mathematics26% of their works
- 3Computer Networks and Communications18% of their works
- 4Hardware and Architecture11% of their works
- 5Information Systems7% of their works
- 6Software4% of their works
Research topics
- Formal Methods in Verification
- Logic, programming, and type systems
- Bayesian Modeling and Causal Inference
- Security and Verification in Computing
- Distributed and Parallel Computing Systems
- Distributed systems and fault tolerance
- Parallel Computing and Optimization Techniques
- Computability, Logic, AI Algorithms
Which keywords describe Jan Hoffmann's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Distributed Systems, High-Performance Computing and Causal Discovery.
- Computability
- Side-Channel Attacks
- Resource Management
- Parallel Computing
- Fault Tolerance
- Causal Inference
- Causal Discovery
- Distributed Systems
- Formal Verification
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Static Analysis
- High-Performance Computing
- Bayesian Networks
- Consistency
- Grid Computing
- Performance Optimization
- Security Policies
- Algorithmic Information Theory
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 20 words, with their numbers
- Model Checking112 topics
- Satisfiability Modulo Theories61 topic
- Symbolic Model Checker61 topic
- Formal Verification51 topic
- Static Analysis51 topic
- Distributed Systems42 topics
- High-Performance Computing42 topics
- Causal Discovery32 topics
- Bayesian Networks21 topic
- Causal Inference21 topic
- Consistency21 topic
- Fault Tolerance21 topic
- Grid Computing21 topic
- Parallel Computing21 topic
- Performance Optimization21 topic
- Resource Management21 topic
- Security Policies21 topic
- Side-Channel Attacks21 topic
- Algorithmic Information Theory11 topic
- Computability11 topic
Where does Jan Hoffmann work?
Jan Hoffmann's main affiliation in the publication record is Carnegie Mellon University, United States.
How many publications and citations does Jan Hoffmann have?
Science Explorer counts 18 works and 74 citations for Jan Hoffmann, ranking #840,183 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.
Other researchers named Jan Hoffmann
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.