Martin Odersky
Martin Odersky publishes mostly in Artificial Intelligence, Hardware and Architecture and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Parallel Computing and Optimization Techniques and Logic, Reasoning, and Knowledge.
- World rank
- #33,974 of 1,633,909 ranked researchers
- Rank in Switzerland
- #882 of 19,404
- Works
- 45
- Citations
- 527
- Citations per work
- 11.7
What does Martin Odersky research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence44% of their works
- 2Hardware and Architecture22% of their works
- 3Computer Networks and Communications14% of their works
- 4Information Systems8% of their works
- 5Computational Theory and Mathematics5% of their works
- 6Software3% of their works
Research topics
- Logic, programming, and type systems
- Parallel Computing and Optimization Techniques
- Logic, Reasoning, and Knowledge
- Distributed systems and fault tolerance
- Security and Verification in Computing
- Formal Methods in Verification
- Cloud Computing and Resource Management
- Advanced Computational Techniques and Applications
Which keywords describe Martin Odersky's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Parallel Computing, Performance Optimization, Distributed Systems, Temporal Logic and Virtualization.
- Wavelet Analysis
- Symbolic Model Checker
- Security Policies
- Cloud Computing
- Modal Logic
- Consistency
- Virtualization
- Distributed Systems
- Parallel Computing
- Formal Verification
- Model Checking
- Static Analysis
- Performance Optimization
- Temporal Logic
- Answer Set Programming
- Fault Tolerance
- Big Data
- Satisfiability Modulo Theories
- Side-Channel Attacks
- Expert 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.
All 20 words, with their numbers
- Model Checking213 topics
- Formal Verification131 topic
- Static Analysis131 topic
- Parallel Computing111 topic
- Performance Optimization111 topic
- Distributed Systems82 topics
- Temporal Logic82 topics
- Virtualization62 topics
- Answer Set Programming51 topic
- Consistency51 topic
- Fault Tolerance51 topic
- Modal Logic51 topic
- Big Data31 topic
- Cloud Computing31 topic
- Satisfiability Modulo Theories31 topic
- Security Policies31 topic
- Side-Channel Attacks31 topic
- Symbolic Model Checker31 topic
- Expert Systems21 topic
- Wavelet Analysis21 topic
Where does Martin Odersky work?
Martin Odersky's main affiliation in the publication record is École Polytechnique Fédérale de Lausanne, Switzerland.
How many publications and citations does Martin Odersky have?
Science Explorer counts 45 works and 527 citations for Martin Odersky, ranking #33,974 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.