http://kestrel.edu/www/kestrel.html (World Wide Web Directory, ~04/1995)

Kestrel Institute

Institute Profile

Kestrel Institute is a non-profit computer science research institute focusing on formal and knowledge-based methods for incremental automation of the software process. Kestrel's research efforts are applicable to the construction of the intelligent software design and engineering environment of the future that provides automated support for all activities in the software life-cycle. Toward this goal, we carry out research on semantic component-based software; high-level specification languages; the analysis, synthesis, transformation, verification and visualization of both sequential and concurrent software. Such knowledge-based systems for software development and maintenance will significantly improve software productivity, reliability, manageability, and efficiency. The use of these automated tools will mitigate much of the complexity that makes software creation and maintenance difficult and expensive.

Our staff of researchers combines expertise in program synthesis, software engineering, machine intelligence, knowledge-base management, logic, automated reasoning systems, software environments, programming languages and compilers. Government agencies that fund Kestrel Institute's research include the Advanced Research Projects Agency, Rome Laboratory, the Air Force Office of Scientific Research, the Office of Naval Research, and the National Aeronautics and Space Administration.

Research Prototype Systems

Research Areas

Kestrel Educational Exchange Program (KEEP)

The Kestrel Educational Exchange Program is intended to foster cooperative research and the development of applications between academic institutions and Kestrel Institute. For these reasons, Kestrel has agreed to act as a facilitator for distributing Software Refinery(tm),a product of Reasoning Systems, Inc., to the academic community. The Kestrel Interactive Development System (KIDS) is also available under the KEEP program. Software Refinery(tm) licenses obtained under this program are exclusively for use in academic research and education and must in no event be used for commercial purposes.

For further information on obtaining Software Refinery(tm) and KIDS please contact Kestrel Institute, Attn: KEEP (maria@kestrel.edu). We plan to make additional research systems available in the future.

Browse through selected publications.

Administrative Information

Address:  3260 Hillview Avenue
	  Palo Alto, CA 94304
Phone:    (415) 493-6871
FAX:      (415) 424-1807
email:    maria@kestrel.edu

Send comments/suggestions to Rafe Furst (rafe@kestrel.edu)