K. Rustan M. Leino
K. Rustan M. Leino publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Software Testing and Debugging Techniques.
- World rank
- #60,255 of 7,710,434 ranked researchers
- Rank in United States
- #23,215 of 1,627,098
- Works
- 176
- Citations
- 12k
- Citations per work
- 69.0
What does K. Rustan M. Leino research?
K. Rustan M. Leino'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 Sciences16191.6%
- Computer Science16191.6%
- Everything else158.4%
- 1Artificial Intelligence39% of their works
- 2Computational Theory and Mathematics17% of their works
- 3Software15% of their works
- 4Hardware and Architecture8% of their works
- 5Information Systems8% of their works
- 6Computer Networks and Communications4% of their works
Research topics
- Logic, programming, and type systems
- Formal Methods in Verification
- Software Testing and Debugging Techniques
- Parallel Computing and Optimization Techniques
- Software Engineering Research
- Security and Verification in Computing
- Adversarial Robustness in Machine Learning
- Software Reliability and Analysis Research
Which keywords describe K. Rustan M. Leino's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker, Automated Testing, Machine Learning and Software Fault Localization.
- Software Reliability Modeling
- Deep Learning
- Side-Channel Attacks
- Refactoring
- Performance Optimization
- Software Fault Localization
- Automated Testing
- Satisfiability Modulo Theories
- Formal Verification
- Model Checking
- Static Analysis
- Symbolic Model Checker
- Machine Learning
- Parallel Computing
- Code Clone Detection
- Security Policies
- Adversarial Examples
- Architecture-Based Approach
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 Checking1892 topics
- Formal Verification1071 topic
- Static Analysis1071 topic
- Satisfiability Modulo Theories821 topic
- Symbolic Model Checker821 topic
- Automated Testing521 topic
- Machine Learning522 topics
- Software Fault Localization521 topic
- Parallel Computing341 topic
- Performance Optimization341 topic
- Code Clone Detection321 topic
- Refactoring321 topic
- Security Policies231 topic
- Side-Channel Attacks231 topic
- Adversarial Examples201 topic
- Deep Learning201 topic
- Architecture-Based Approach181 topic
- Software Reliability Modeling181 topic
Where does K. Rustan M. Leino work?
K. Rustan M. Leino's main affiliation in the publication record is Microsoft (United States), United States.
How many publications and citations does K. Rustan M. Leino have?
OpenAlex counts 176 works and 12,149 citations for K. Rustan M. Leino, an h-index of 53, ranking #60,255 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 K. Rustan M. Leino. 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.