Kestrel Institute is a non-profit computer science research center, located in the Stanford Research Park in Palo Alto, California. Our mission is to advance the art and practice of synthesizing provably correct code from high-level specifications, to increase assurance, security, safety, productivity, and performance. Our researchers combine expertise in program synthesis, theorem proving, software environments, and programming languages.

The site you are trying to view does not currently have a default page. It may be in the process of being upgraded and configured. Please try this site again later. If you still experience the problem, try contacting the Web site administrator. If you are the Web site administrator and feel you have received this message in error, please see Enabling and Disabling Dynamic Content in IIS Help. Text box, type inetmgr. Menu, click Help Topics.

Welcome to the Kestrel Owners Association Web Site. Kestrel sailing is a really affordable way of getting on-the-water with newly built and second-hand boats available. New boats are built and supplied by Hartley Boats. And available in cruising and race-ready versions. The class association and join a community of like-minded people? Page for an event near you.