Simon Peyton Jones
Simon Peyton Jones 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 Formal Methods in Verification.
- World rank
- #20,304 of 1,633,909 ranked researchers
- Rank in United Kingdom
- #1,891 of 90,785
- Works
- 110
- Citations
- 927
- Citations per work
- 8.4
What does Simon Peyton Jones research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence20% of their works
- 2Hardware and Architecture13% of their works
- 3Computer Networks and Communications12% of their works
- 4Computational Theory and Mathematics8% of their works
- 5Information Systems6% of their works
- 6Visual Arts and Performing Arts6% of their works
Research topics
Which keywords describe Simon Peyton Jones's research?
The keywords of their largest research topics: Model Checking, High-Performance Computing, Parallel Computing, Formal Verification, Static Analysis, GPU Computing, Performance Optimization and Temporal Logic.
- Network Coding
- Distributed Storage
- Refactoring
- Continuous Queries
- Grid Computing
- Symbolic Model Checker
- Temporal Logic
- GPU Computing
- Formal Verification
- High-Performance Computing
- Model Checking
- Parallel Computing
- Static Analysis
- Performance Optimization
- Satisfiability Modulo Theories
- Distributed Systems
- Code Clone Detection
- Data Stream Management
- Answer Set Programming
- Modal Logic
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 Checking343 topics
- High-Performance Computing252 topics
- Parallel Computing222 topics
- Formal Verification211 topic
- Static Analysis211 topic
- GPU Computing191 topic
- Performance Optimization191 topic
- Temporal Logic132 topics
- Satisfiability Modulo Theories101 topic
- Symbolic Model Checker101 topic
- Distributed Systems61 topic
- Grid Computing61 topic
- Code Clone Detection41 topic
- Continuous Queries41 topic
- Data Stream Management41 topic
- Refactoring41 topic
- Answer Set Programming31 topic
- Distributed Storage31 topic
- Modal Logic31 topic
- Network Coding31 topic
Where does Simon Peyton Jones work?
Simon Peyton Jones's main affiliation in the publication record is Microsoft Research (United Kingdom), United Kingdom.
How many publications and citations does Simon Peyton Jones have?
Science Explorer counts 110 works and 927 citations for Simon Peyton Jones, ranking #20,304 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.