Leslie Lamport
Leslie Lamport publishes mostly in Computer Networks and Communications, Computational Theory and Mathematics and Artificial Intelligence, on topics such as Formal Methods in Verification, Distributed systems and fault tolerance and Logic, programming, and type systems.
- World rank
- #6,243 of 1,633,909 ranked researchers
- Rank in United States
- #3,010 of 358,040
- Works
- 75
- Citations
- 1.2k
- Citations per work
- 15.6
What does Leslie Lamport research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computer Networks and Communications20% of their works
- 2Computational Theory and Mathematics19% of their works
- 3Artificial Intelligence19% of their works
- 4Hardware and Architecture12% of their works
- 5Software6% of their works
- 6Computer Science Applications4% of their works
Research topics
Which keywords describe Leslie Lamport's research?
The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Distributed Systems, Fault Tolerance, Formal Verification, Static Analysis and Embedded Systems.
- Scheduling Algorithms
- Programming Education
- Parallel Computing
- Model-Driven Engineering
- Reconfigurable Computing
- Embedded Systems
- Formal Verification
- Distributed Systems
- Satisfiability Modulo Theories
- Model Checking
- Symbolic Model Checker
- Fault Tolerance
- Static Analysis
- High-Level Synthesis
- Domain-Specific Languages
- Computational Thinking
- Performance Optimization
- Hard Real-Time 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 18 words, with their numbers
- Model Checking302 topics
- Satisfiability Modulo Theories161 topic
- Symbolic Model Checker161 topic
- Distributed Systems151 topic
- Fault Tolerance151 topic
- Formal Verification141 topic
- Static Analysis141 topic
- Embedded Systems92 topics
- High-Level Synthesis61 topic
- Reconfigurable Computing61 topic
- Domain-Specific Languages51 topic
- Model-Driven Engineering51 topic
- Computational Thinking41 topic
- Parallel Computing41 topic
- Performance Optimization41 topic
- Programming Education41 topic
- Hard Real-Time Systems31 topic
- Scheduling Algorithms31 topic
Where does Leslie Lamport work?
Leslie Lamport's main affiliation in the publication record is Microsoft (United States), United States.
How many publications and citations does Leslie Lamport have?
Science Explorer counts 75 works and 1,170 citations for Leslie Lamport, ranking #6,243 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.