Leslie Lamport
Leslie Lamport publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Distributed systems and fault tolerance.
- World rank
- #68,065 of 7,710,434 ranked researchers
- Rank in United States
- #26,271 of 1,627,098
- Works
- 295
- Citations
- 50k
- Citations per work
- 169.4
What does Leslie Lamport research?
Leslie Lamport's work is mostly in Computer Science (84%).
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 Sciences24783.7%
- Computer Science24783.7%
- Everything else4816.3%
- 1Computational Theory and Mathematics22% of their works
- 2Artificial Intelligence21% of their works
- 3Computer Networks and Communications20% of their works
- 4Hardware and Architecture12% of their works
- 5Software6% of their works
- 6Information Systems2% of their works
Research topics
Which keywords describe Leslie Lamport's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker, Distributed Systems, Fault Tolerance and Parallel Computing.
- Scheduling Algorithms
- Reconfigurable Computing
- High-Level Synthesis
- Computability
- Embedded Systems
- Parallel Computing
- Distributed Systems
- Satisfiability Modulo Theories
- Formal Verification
- Model Checking
- Static Analysis
- Symbolic Model Checker
- Fault Tolerance
- Performance Optimization
- Algorithmic Information Theory
- Domain-Specific Languages
- Model-Driven Engineering
- 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. 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 Checking2052 topics
- Formal Verification1031 topic
- Static Analysis1031 topic
- Satisfiability Modulo Theories1021 topic
- Symbolic Model Checker1021 topic
- Distributed Systems961 topic
- Fault Tolerance961 topic
- Parallel Computing491 topic
- Performance Optimization491 topic
- Embedded Systems472 topics
- Algorithmic Information Theory241 topic
- Computability241 topic
- Domain-Specific Languages241 topic
- High-Level Synthesis241 topic
- Model-Driven Engineering241 topic
- Reconfigurable Computing241 topic
- Hard Real-Time Systems231 topic
- Scheduling Algorithms231 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?
OpenAlex counts 295 works and 49,974 citations for Leslie Lamport, an h-index of 69, ranking #68,065 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.
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 Leslie Lamport. 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.