Kestrel Institute

Kestrel Institute is a non-profit computer science research center. Its areas of expertise include general-purpose synthesis, domain-specific synthesis, formal analysis and verification, formal modeling and validation, security, planning and scheduling, machine learning, etc.