The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where K. Rustan M. Leino sits on this spectrum.
This scientist: 147 publications — 26th percentile
26% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 991 publications or more.
The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where K. Rustan M. Leino sits on this spectrum.
This scientist: 57 D-Index — 74th percentile
74% of scientists in this discipline score the same or lower.
The last bar groups every scientist with 131 D-Index or more.
K. Rustan M. Leino is affiliated with Amazon Web Services in the United States. Their research primarily focuses on the field of Computer Science with a significant concentration on Artificial Intelligence.
Their work spans several subfields, including:
Several main topics characterize their research contributions:
Leino's publication record includes papers in the venue arXiv (Cornell University), with 11 publications there. Among their recent papers are:
Frequent coauthors with whom they have collaborated include:
Their recognized contributions were acknowledged with the ACM Fellow award in 2016 for contributions to making program verification accessible and practical.
Cormac Flanagan;K. Rustan M. Leino;Mark Lillibridge;Greg Nelson
Mike Barnett;K. Rustan M. Leino;Wolfram Schulte
Mike Barnett;Bor-Yuh Evan Chang;Robert DeLine;Bart Jacobs
K. Rustan M. Leino
Lilian Burdy;Yoonsik Cheon;David R. Cok;Michael D. Ernst
K. Rustan M. Leino
Cormac Flanagan;K. Rustan M. Leino
Michael Barnett;Robert DeLine;Manuel Fähndrich;K. Rustan M. Leino
Mike Barnett;Bor-Yuh Evan Chang;Robert Deline;Bart Jacobs
K. Rustan M. Leino;Peter Müller
Mike Barnett;K. Rustan M. Leino
Manuel Fähndrich;K. Rustan M. Leino
Martín Abadi;K. Rustan M. Leino
Rajeev Joshi;K. Rustan M. Leino
Gary T. Leavens;Clyde Ruby;K. Rustan M. Leino;Erik Poll
John Hatcliff;Gary T. Leavens;K. Rustan M. Leino;Peter Müller
Mike Barnett;Manuel Fähndrich;K. Rustan M. Leino;Peter Müller
K. Rustan M. Leino
K. Rustan M. Leino
K. Rustan Leino;Peter Müller
Robert DeLine;K. Rustan M. Leino
If you think any of the details on this page are incorrect, let us know.
Exploring online degrees related to Computer Science can open diverse career pathways. Many students consider interdisciplinary options like a criminal justice degree price to understand how technology is used in criminal investigations and cybersecurity roles. Others may pivot into fields such as accounting, where understanding data and automation is critical. If you are concerned about affordability, exploring accounting degree cost can help you compare programs that fit your budget.
For those seeking advanced roles in tech, a cheap online masters degree in data science offers specialized training in AI, analytics, and big data. Additionally, the rise of project management tools and Building Information Modeling (BIM) has made tech-savvy professionals highly valuable in construction. Consider an online construction management degree for a career at the intersection of technology, engineering, and business.
With the flexibility of online learning, you can tailor your educational path to meet your career goals and budget, while developing highly sought-after digital skills.
University of St Andrews
Indian Institute of Technology Hyderabad
Bill & Melinda Gates Foundation
University of Calgary
University of Valencia
Case Western Reserve University
University of Tabriz
Durham University
Mansoura University
University of Houston
Huazhong University of Science and Technology
Dublin City University
Osaka University
Mayo Clinic
National Institutes of Health
Princeton University
