Mission and public details
KESTREL INSTITUTE PERFORMS RESEARCH ON METHODS and TOOLS for SOFTWARE ASSURANCE - USING MATHEMATICAL MODELS and PROPERTIES of ALGORITHMS and DATA STRUCTURES to ENSURE THAT SOFTWARE PERFORMS PREDICTABLY and RELIABLY. OUR RESEARCH is COMMUNICATED to THE WIDER ACADEMIC COMMUNITY THROUGH JOURNALS, CONFERENCES and TECHNICAL MEETINGS. OUR TOOLS ARE USED BY U.S. and INTERNATIONAL UNIVERSITIES. WE OCCASIONALLY HOST STUDENTS for BRIEF PERIODS to WORK ON PROJECTS ALIGNED WITH OUR RESEARCH INTERESTS.
- Organization
- KESTREL INSTITUTE
- EIN
- 94-2750021
- Address
- 3260 HILLVIEW AVE, PALO ALTO, CA, 94304-1220
- County
- Santa Clara
- NTEE classification
- NA
- Organization website
- Visit website






