Leonardo de Moura
Leonardo de Moura publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Logic, Reasoning, and Knowledge.
- World rank
- #72,674 of 7,710,434 ranked researchers
- Rank in United States
- #28,042 of 1,627,098
- Works
- 105
- Citations
- 14k
- Citations per work
- 133.5
What does Leonardo de Moura research?
Leonardo de Moura's work is mostly in Computer Science (86%).
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 Sciences9186.5%
- Computer Science9186.5%
- Everything else1413.5%
- 1Artificial Intelligence36% of their works
- 2Computational Theory and Mathematics27% of their works
- 3Software13% of their works
- 4Computer Networks and Communications4% of their works
- 5Hardware and Architecture3% of their works
- 6Information Systems3% of their works
Research topics
- Formal Methods in Verification
- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Software Testing and Debugging Techniques
- Constraint Satisfaction and Optimization
- Model-Driven Software Engineering Techniques
- Software Reliability and Analysis Research
- Security and Verification in Computing
Which keywords describe Leonardo de Moura's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Answer Set Programming and Modal Logic.
- Side-Channel Attacks
- Software Reliability Modeling
- Domain-Specific Languages
- Constraint Optimization
- Software Fault Localization
- Modal Logic
- Static Analysis
- Symbolic Model Checker
- Temporal Logic
- Model Checking
- Satisfiability Modulo Theories
- Formal Verification
- Answer Set Programming
- Automated Testing
- Architecture-Based Approach
- Distributed Algorithms
- Model-Driven Engineering
- Security Policies
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 Checking1473 topics
- Temporal Logic872 topics
- Satisfiability Modulo Theories641 topic
- Symbolic Model Checker641 topic
- Formal Verification601 topic
- Static Analysis601 topic
- Answer Set Programming231 topic
- Modal Logic231 topic
- Automated Testing211 topic
- Software Fault Localization211 topic
- Architecture-Based Approach91 topic
- Constraint Optimization91 topic
- Distributed Algorithms91 topic
- Domain-Specific Languages91 topic
- Model-Driven Engineering91 topic
- Software Reliability Modeling91 topic
- Security Policies71 topic
- Side-Channel Attacks71 topic
Where does Leonardo de Moura work?
Leonardo de Moura's main affiliation in the publication record is Microsoft (United States), United States.
How many publications and citations does Leonardo de Moura have?
OpenAlex counts 105 works and 14,013 citations for Leonardo de Moura, an h-index of 40, ranking #72,674 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 Leonardo de Moura. 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.