Kestrel Institute


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

Industries

Employees

11-50

Links


Org chart

Collapse


Offices