Kestrel Institute researches on domain-specific synthesis, formal analysis and verification, machine learning, planning and scheduling.

AI/ML

Education

Non Profit

Software Engineering

Kestrel Institute

Kestrel Institute's headquarters in Palo Alto, CA, United States

Eric Smith

Cordell Green

The Research Team at Kestrel Institute conducts advanced studies in areas such as domain-specific synthesis, formal analysis and verification, machine learning, and planning and scheduling. This team is composed of ten highly specialized research staff focused on developing innovative methodologies and solutions to complex problems in these fields.

Research Team

This department provides strategic direction and overall management of the organization.

Executive Leadership

This department is responsible for designing, developing, and maintaining software applications.

Kestrel Institute

Org chart

Teams

Research Team

Executive Leadership

Software Development

Offices

Kestrel Institute

Org chart

Teams

Research Team

Executive Leadership

Software Development

Offices

Related companies