Science Explorer Back to mapMap
Discussion
Nonprofit · Palo Alto · United States

Kestrel Institute

In research, Kestrel Institute stands highest in Computer Science (#2,451 of 6,336 worldwide) and Physical Sciences (#14,066 of 17,446 worldwide), over all time.

kestrel.eduROR OpenAlex
World rank, all time
#34,303
of 34,923
Rank in United States
#7,201
of 7,310
Research works
169
▼ 8% vs 2018-21
Citations
3.9k
23.2 per fractional work
Top-10% rate
2.4%
all institutions 10.0%
vs its own fields
1.05×
1.00× is exactly expected
Open access
27%
world 40%
International
9%
world 18%
Kestrel Institute

What is Kestrel Institute known for in research?

The fields where it stands highest, over all time, ranked among every institution above the floor in each field.

FieldWorld rankWhere that sitsTop-10% rateWorks
Computer ScienceField #2,451 of 6,336 9.9%148
Physical SciencesDomain #14,066 of 17,446 9.7%157

Each strip is that field's whole ranked pool, with the notch where Kestrel Institute sits in it, in the colour of the band that rank falls in. The track under the rate is the rate itself: it carries no average mark, because the average differs by field (from about 6% in Dentistry to 21% in Economics).

Which fields of science does Kestrel Institute work in?

In all years, 93% of research at Kestrel Institute is in Physical Sciences, 6% in Social Sciences. Its largest fields are Computer Science (87%), Engineering (4%), Social Sciences (2%). It does 2.2× the world's share of Physical Sciences.

Physical Sciences: 157 fractional works · 92.7% of its workComputer Science: 148 fractional works · 87.3% of its workArtificial Intelligence: 55 fractional works · 32.6% of its workComputer Networks and Communications: 25 fractional works · 14.8% of its workComputational Theory and Mathematics: 23 fractional works · 13.8% of its workInformation Systems: 15 fractional works · 8.7% of its workSoftware: 13 fractional works · 8.0% of its workHardware and Architecture: 9 fractional works · 5.3% of its workSignal Processing: 6 fractional works · 3.7% of its workComputer Science Applications: 1 fractional works · 0.4% of its workEngineering: 6 fractional works · 3.8% of its workElectrical and Electronic Engineering: 2 fractional works · 1.5% of its workAerospace Engineering: 1 fractional works · 0.7% of its workComputational Mechanics: 1 fractional works · 0.6% of its workIndustrial and Manufacturing Engineering: 1 fractional works · 0.4% of its workOcean Engineering: 1 fractional works · 0.4% of its workSafety, Risk, Reliability and Quality: 0 fractional works · 0.2% of its workSmaller subfields together: 0 fractional works · 0.0% of its workPhysics and Astronomy: 1 fractional works · 0.8% of its workStatistical and Nonlinear Physics: 1 fractional works · 0.6% of its workSmaller subfields together: 0 fractional works · 0.2% of its workEnvironmental Science: 1 fractional works · 0.4% of its workEcology: 0 fractional works · 0.3% of its workSmaller subfields together: 0 fractional works · 0.1% of its workMathematics: 1 fractional works · 0.4% of its workMathematical Physics: 0 fractional works · 0.3% of its workSmaller subfields together: 0 fractional works · 0.1% of its workSocial Sciences: 10 fractional works · 5.8% of its workSocial Sciences: 3 fractional works · 1.5% of its workSociology and Political Science: 1 fractional works · 0.5% of its workAnthropology: 0 fractional works · 0.3% of its workGeography, Planning and Development: 0 fractional works · 0.3% of its workSmaller subfields together: 1 fractional works · 0.4% of its workDecision Sciences: 2 fractional works · 1.5% of its workInformation Systems and Management: 1 fractional works · 0.7% of its workManagement Science and Operations Research: 1 fractional works · 0.6% of its workSmaller subfields together: 0 fractional works · 0.1% of its workEconomics, Econometrics and Finance: 2 fractional works · 1.1% of its workEconomics and Econometrics: 1 fractional works · 0.6% of its workFinance: 1 fractional works · 0.4% of its workBusiness, Management and Accounting: 2 fractional works · 0.9% of its workManagement Information Systems: 1 fractional works · 0.5% of its workSmaller subfields together: 1 fractional works · 0.4% of its workArts and Humanities: 1 fractional works · 0.7% of its workPhilosophy: 1 fractional works · 0.4% of its workLanguage and Linguistics: 0 fractional works · 0.3% of its workPsychology: 0 fractional works · 0.1% of its workHealth Sciences: 2 fractional works · 1.4% of its workHealth Professions: 1 fractional works · 0.8% of its workGeneral Health Professions: 1 fractional works · 0.8% of its workMedicine: 1 fractional works · 0.6% of its workDermatology: 0 fractional works · 0.2% of its workSmaller subfields together: 1 fractional works · 0.4% of its workDentistry: 0 fractional works · 0.0% of its workLife Sciences: 0 fractional works · 0.1% of its workBiochemistry, Genetics and Molecular Biology: 0 fractional works · 0.0% of its workImmunology and Microbiology: 0 fractional works · 0.0% of its workAgricultural and Biological Sciences: 0 fractional works · 0.0% of its workALL ITS WORKKestrel Institute169fractional works, all years
Life Sciences0%Physical Sciences93%Health Sciences1%Social Sciences6%

Each ring splits the one inside it: the four domains of science, their fields, their subfields. Size is fractional works in all years. Every slice is a page; the interactive view zooms down to single topics and colours each by how much more of it this institution does than the world.

Its 4 domains and 17 fields, with their numbers
    1. Computer Science14887.3%
    2. Engineering63.8%
    3. Physics and Astronomy10.8%
    4. Environmental Science10.4%
    5. Mathematics10.4%
    1. Social Sciences31.5%
    2. Decision Sciences21.5%
    3. Economics, Econometrics and Finance21.1%
    4. Business, Management and Accounting20.9%
    5. Arts and Humanities10.7%
    6. Psychology00.1%
    1. Health Professions10.8%
    2. Medicine10.6%
    3. Dentistry00.0%
    1. Biochemistry, Genetics and Molecular Biology00.0%
    2. Immunology and Microbiology00.0%
    3. Agricultural and Biological Sciences00.0%
All of science, and how each field's share has moved since 1950: the Science domain explorer

Field profile

Location quotient across every field it publishes in: outside the ring is more than an institution of this size would be expected to publish, inside it is less.

Biochemistry, Genetics and Molecular Biology: 0.07× its world share, 0 worksBiochemistry, Geneti…Computer Science: 6.77× its world share, 5 worksComputer ScienceEngineering: 0.83× its world share, 1 worksEngineeringEnvironmental Science: 1.27× its world share, 1 worksEnvironmental ScienceDentistry: 0.76× its world share, 0 worksDentistryMedicine: 0.03× its world share, 0 worksMedicineArts and Humanities: 1.73× its world share, 0 worksArts and HumanitiesBusiness, Management and Accounting: 0.26× its world share, 0 worksBusiness, Management…Economics, Econometrics and Finance: 5.05× its world share, 1 worksEconomics, Econometr…Social Sciences: 0.84× its world share, 1 worksSocial Sciences1×world share
more than its size predictsabout as predictedless

Rings at 0.5×, 1× and 2×. Widest outward: Computer Science, 6.8×. Every wedge is a field page.

All 10 fields, with their numbers
  1. Computer Science6.77×5 works
  2. Economics, Econometrics and Finance5.05×1 works
  3. Arts and Humanities1.73×0 works
  4. Environmental Science1.27×1 works
  5. Social Sciences0.84×1 works
  6. Engineering0.83×1 works
  7. Dentistry0.76×0 works
  8. Business, Management and Accounting0.26×0 works
  9. Biochemistry, Genetics and Molecular Biology0.07×0 works
  10. Medicine0.03×0 works

Who are the top researchers at Kestrel Institute?

Ranked on the quality score, Lambert Meertens, Allen Goldberg and Cordell Green lead among researchers whose main affiliation is Kestrel Institute.

  1. 1 Lambert Meertens United States · #1,609,018 worldwide 1.5k citations · 115 works
  2. 2 Allen Goldberg United States · #1,665,489 worldwide 1.4k citations · 44 works
  3. 3 Cordell Green United States · #2,277,851 worldwide 1.3k citations · 39 works
  4. 4 Stephen J. Westfold United States · #2,799,235 worldwide 324 citations · 27 works
  5. 5 Richard K. Jullig United States · #3,195,858 worldwide 282 citations · 15 works
  6. 6 Alessandro Coglio United States · #3,712,207 worldwide 469 citations · 52 works
  7. 7 Eric W. Smith United States · #5,495,133 worldwide 284 citations · 48 works
All ranked researchers at Kestrel Institute

What are the most cited papers from Kestrel Institute?

The most cited paper from Kestrel Institute is "Information-Flow Analysis of Android Applications in DroidSafe" (Michael I. Gordon, Deokhwan Kim, Jeff H. Perkins et al., 2015), with 429 citations. Next come "KIDS: a semiautomatic program development system" (355) and "Software Technology in the 1990's: Using a New Paradigm" (353).

Most cited papers
#PaperReleasedCitations
1 Information-Flow Analysis of Android Applications in DroidSafe Michael I. Gordon, Deokhwan Kim, Jeff H. Perkins et al. Conference paper 2015 429
2 KIDS: a semiautomatic program development system Douglas R. Smith · IEEE Transactions on Software Engineering 1990 355
3 Software Technology in the 1990's: Using a New Paradigm Balzer, Cheatham, Green · Computer Nov 1983 353
4 Incremental recomputation of active relational expressions Xiaolei Qian, Gio C. M. Wiederhold · IEEE Transactions on Knowledge and Data Engineering 1991 186
5 Top-down synthesis of divide-and-conquer algorithms Douglas R. Smith · Artificial Intelligence Sep 1985 156
All 59 most cited papers, with filters and sorting

Which keywords describe research at Kestrel Institute?

By fractional works in all years, weighted toward what it does more of than the world: Model Checking, Static Analysis, Temporal Logic, Formal Verification, Type Inference, Automata, Satisfiability Modulo Theories and Symbolic Model Checker.

▲ more of its work than of the world's◆ about the world's share▼ less than the world's

Size is fractional works in all years in the topics tagged with each word; colour is the word's share of this institution's work against its share of the world's. The 40 words are chosen for being large and distinctive. Each links to the topic it comes from most.

All 40 words, with their numbers
  1. Model Checking44▲ 237×3 topics
  2. Static Analysis23▲ 341×2 topics
  3. Temporal Logic22▲ 178×2 topics
  4. Formal Verification21▲ 360×1 topic
  5. Type Inference21▲ 360×1 topic
  6. Automata19▲ 180×2 topics
  7. Satisfiability Modulo Theories16▲ 243×1 topic
  8. Symbolic Model Checker16▲ 243×1 topic
  9. Requirements Engineering12▲ 111×2 topics
  10. Model-Based Development11▲ 171×2 topics
  11. Autonomic Computing11▲ 208×1 topic
  12. Self-Adaptive Systems11▲ 208×1 topic
  13. Machine Learning10▲ 2.6×9 topics
  14. Description Logics8▲ 47×2 topics
  15. Knowledge Representation8▲ 33×2 topics
  16. Graph Coloring7▲ 193×2 topics
  17. Constraint Optimization7▲ 283×1 topic
  18. Distributed Algorithms7▲ 283×1 topic
  19. Distributed Systems7▲ 17×6 topics
  20. Software Development7▲ 71×2 topics
  21. Answer Set Programming6▲ 107×1 topic
  22. Modal Logic6▲ 66×1 topic
  23. High-Performance Computing6▲ 24×2 topics
  24. Domain-Specific Languages6▲ 163×1 topic
  25. Model-Driven Engineering6▲ 163×1 topic
  26. Side-Channel Attacks6▲ 71×2 topics
  27. Virtualization5▲ 44×2 topics
  28. Continuous Queries5▲ 78×1 topic
  29. Data Stream Management5▲ 78×1 topic
  30. Automated Testing5▲ 107×1 topic
  31. Control-Flow Integrity5▲ 167×1 topic
  32. Security Policies5▲ 167×1 topic
  33. Software Fault Localization5▲ 107×1 topic
  34. Authentication5▲ 32×2 topics
  35. Biometrics5▲ 100×2 topics
  36. Fault Tolerance5▲ 14×4 topics
  37. Embedded Systems5▲ 31×3 topics
  38. Code Clone Detection5▲ 61×1 topic
  39. Refactoring5▲ 61×1 topic
  40. Parallel Computing4▲ 15×2 topics

Which research topics does Kestrel Institute publish most on?

By volume in 2022-now: Formal Methods in Verification, Advanced Numerical Analysis Techniques, Logic, programming, and type systems and Software Testing and Debugging Techniques.

Formal Methods in Verification: 1 fractional worksAdvanced Numerical Analysis Techniques: 1 fractional worksLogic, programming, and …1Logic, programming, and type systems: 1 fractional worksSoftware Testing and Deb…1Software Testing and Debugging Techniques: 1 fractional worksLinguistics and Cultural Studies: 0 fractional worksEurasian Exchange Networks: 0 fractional worksHungarian Social, Econom…0Hungarian Social, Economic and Educational Studies: 0 fractional worksEcology and biodiversity studies: 0 fractional worksSecurity and Verification in Computing: 0 fractional worksAdvanced Malware Detection Techniques: 0 fractional works
Computational Theory and MathematicsComputational MechanicsArtificial IntelligenceSoftware5 others

Area is fractional works; colour is the subfield each topic belongs to.

  1. 1 Formal Methods in Verification Computational Theory and Mathematics 1 works
  2. 2 Advanced Numerical Analysis Techniques Computational Mechanics 1 works
  3. 3 Logic, programming, and type systems Artificial Intelligence 1 works
  4. 4 Software Testing and Debugging Techniques Software 1 works
  5. 5 Linguistics and Cultural Studies Language and Linguistics 0 works
  6. 6 Eurasian Exchange Networks Anthropology 0 works
  7. 7 Hungarian Social, Economic and Educational Studies Geography, Planning and Development 0 works
  8. 8 Ecology and biodiversity studies Ecology 0 works
  9. 9 Security and Verification in Computing Artificial Intelligence 0 works
  10. 10 Advanced Malware Detection Techniques Signal Processing 0 works

How open and international is its research?

Against the world's own shares: the tick on each track. Both are shares of its output, so they sit on one scale and can be read against each other as well as against the world.

openly available27.3%not open72.7%

World: 40% of research is openly available.

with international co-authors9.1%domestic only90.9%

World: 18% is written across borders.

How has Kestrel Institute's research output changed?

Output in 2022-2025 was 8% lower than in 2018-2021.

still counting1990200020102020
grewheldshrank

The same series as a ribbon: one cell per year, darker for more. The line above answers how much; this answers when.

Its share of all research

Growing output can still be a shrinking share: all of science grows. This is Kestrel Institute as a percentage of every work published that year, 0.000018% in 2024.

still counting0.00050%0.0010%Kestrel Institute0.000070% in 20251990200020102020

Fractional works of Kestrel Institute over all fractional works that year. How the balance of science has shifted.

Other research institutions in Palo Alto

All research institutions in Palo Alto

Share Kestrel Institute's ranking

Kestrel Institute on Science Explorer

A card with Kestrel Institute's standing and the fields it leads in, for a post or a slide. A link to this page previews as the same card.

Download the card

1200 × 630 PNG, sized for social posts, drawn from the latest snapshot.

Badges for a website1Each links back here and updates with every snapshot

Research measures only: rankings here say nothing about teaching, admissions or student experience. Comparable institutions and collaboration partners have tabs of their own, above.

Discussion

Ask a question or share a note about Kestrel Institute. Posts are plain text and can be reported.