Martin Odersky
Martin Odersky publishes mostly in Artificial Intelligence, Computer Networks and Communications and Hardware and Architecture, on topics such as Logic, programming, and type systems, Parallel Computing and Optimization Techniques and Formal Methods in Verification.
- World rank
- #70,137 of 7,710,434 ranked researchers
- Rank in Switzerland
- #1,504 of 80,918
- Works
- 215
- Citations
- 8.3k
- Citations per work
- 38.4
What does Martin Odersky research?
Martin Odersky's work is mostly in Computer Science (92%).
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
- Physical Sciences19791.6%
- Computer Science19791.6%
- Everything else188.4%
- 1Artificial Intelligence41% of their works
- 2Computer Networks and Communications15% of their works
- 3Hardware and Architecture15% of their works
- 4Computational Theory and Mathematics10% of their works
- 5Information Systems8% of their works
- 6Software2% of their works
Research topics
Which keywords describe Martin Odersky's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Parallel Computing, Performance Optimization, Temporal Logic, Satisfiability Modulo Theories and Symbolic Model Checker.
- Data Stream Management
- Modal Logic
- Refactoring
- Self-Adaptive Systems
- Fault Tolerance
- Symbolic Model Checker
- Temporal Logic
- Parallel Computing
- Formal Verification
- Model Checking
- Static Analysis
- Performance Optimization
- Satisfiability Modulo Theories
- Distributed Systems
- Autonomic Computing
- Code Clone Detection
- Answer Set Programming
- Continuous Queries
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. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.
All 18 words, with their numbers
- Model Checking2063 topics
- Formal Verification1411 topic
- Static Analysis1411 topic
- Parallel Computing801 topic
- Performance Optimization801 topic
- Temporal Logic652 topics
- Satisfiability Modulo Theories411 topic
- Symbolic Model Checker411 topic
- Distributed Systems341 topic
- Fault Tolerance341 topic
- Autonomic Computing331 topic
- Self-Adaptive Systems331 topic
- Code Clone Detection311 topic
- Refactoring311 topic
- Answer Set Programming241 topic
- Modal Logic241 topic
- Continuous Queries231 topic
- Data Stream Management231 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?
OpenAlex counts 215 works and 8,263 citations for Martin Odersky, an h-index of 48, ranking #70,137 of 7,710,434 researchers worldwide on the quality score.
Ranked on field-normalised citation 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 Martin Odersky
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 Martin Odersky. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.