Kestrel Institute

Kestrel Institute operates as a non profit computer science research center. The Organization develops refinement techniques and tools for application domains, including blockchain, learning systems, adaptive systems, theorem proving, constraint solving, planning, network stacks, and garbage collection. Kestrel Institute serves communities in the United States.