Skip to content

Non-profit · founded 1981

Kestrel Institute

Palo Alto, United States · kestrel.edu

Manage this page

Citations, last 5 years: 17
Works, last 5 years: 14
h-index: 43
Scientists listed: 0
Grants since 2016: 0

Strongest research topics

Logic, programming, and type systems146Computer Science
Formal Methods in Verification71Computer Science
Advanced Software Engineering Methodologies58Computer Science
Model-Driven Software Engineering Techniques44Computer Science
AI-based Problem Solving and Planning30Computer Science
Security and Verification in Computing29Computer Science