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

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

Executive Leadership

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.

��

People (2)

Jobs (0)

Other teams

Research Team

��������

People (2)

Jobs (0)

Other teams

Research Team

��