


Kestrel Institute Email Formats
Software Development • Palo Alto, California, United States • 11-20 Employees
Kestrel Institute Email Formats
Kestrel Institute uses 2 email formats. The most common is {last name} (e.g., doe@kestrel.edu), used 87.5% of the time.
| Format | Example | Percentage |
|---|---|---|
{last name} | doe@kestrel.edu | 87.5% |
{first initial} | j@kestrel.edu | 12.5% |
Key Contacts at Kestrel Institute
Eric Smith
Ceo
Stephen Westfold
Associate Director
Cordell Green
Director
Company overview
| Headquarters | Palo Alto, California, United States |
| Phone number | +16504936871 |
| Website | |
| Founded | 1981 |
| Employees | 11-20 |
| Socials |
About Kestrel Institute
Kestrel Institute is a non-profit computer science research center, located in the Stanford Research Park in Palo Alto, California. Our research spans formal methods, program synthesis and refinement, program analysis and verification, formal modeling and validation, theorem proving, and planning. Kestrel's customers include DoD, DARPA, IARPA, AFRL, AFOSR, ONR, NASA, NSF, GE, the Ethereum Foundation, and the Decentralization Foundation.
Employees by Management Level
Total employees: 11-20
Seniority
Employees
Employees by Department
Kestrel Institute has 2 employees across 2 departments.
Departments
Number of employees
Funding Data
Kestrel Institute has never raised funding before.
Kestrel Institute Tech Stack
Discover the technologies and tools that power Kestrel Institute's digital infrastructure, from frameworks to analytics platforms.
Web servers
Static site generator
Miscellaneous
Operating systems
Miscellaneous
Frequently asked questions
4.8
40,000 users



