Company Profile

Kestrel Technology LLC (AKA: Kestrel Development Corporation~KTS~KT)
Profile last edited on: 7/11/2019      CAGE: 1PJ39      UEI: Y9NYPZALSSS6

Business Identifier: Software development and analysis
Year Founded
1986
First Award
1986
Latest Award
2022
Program Status
Active
Popularity Index
Is this YOUR Company?
Ensure accuracy and completeness of YOUR Company Profile by completing the brief Survey Instrument attached
Do you know about this Awardees?
Let us encourage you to provide any data which would enhance the completeness of this firm's profile.

Location Information

3260 Hillview Avenue
Palo Alto, CA 94304
   (650) 320-8474
   info@kestreltechnology.com
   www.kestreltechnology.com
Location: Single
Congr. District: 16
County: Santa Clara

Public Profile

Kestrel Technology is the commercialization divison of Kestrel Institute - 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. Kestrel has developed a static analyzer (called CodeHawk) which finds programming language errors. CodeHawk applies abstract interpretation techniques to achieve sound results, applying over-approximation to guarantee never missing a property violation. The firm also offers KT Advance, a C-language analyzer, which is a verification product designed specifically for memory safety properties. Lastly, the firm offers KT Transferal, a X86PE binary analyzer, tailored to malware analysis for Windows executables.

Extent of SBIR involvement

User Avatar

Synopsis: Awardee Business Condition

Employee Range
5-9
Revenue Range
.5M-1M
VC funded?
No
Public/Private
Privately Held
Stock Info
----
IP Holdings
5-9

Awards Distribution by Agency

Most Recent SBIR Projects

Year Phase Agency Total Amount
2023 2 AF $1,155,439
Project Title: Service-Based Multi-Domain Planning
2023 2 DARPA $1,660,365
Project Title: Binary Assurance Through Proofs of Properties
2019 1 AF $149,908
Project Title: SMT-based Formal Unit Testing
2017 1 DARPA $229,813
Project Title: Verified Network Stack Synthesis for seL4
2016 2 DARPA $1,300,374
Project Title: CLAIM: Corpus- and Logic-based Automated Identification of Malware

Key People / Management

  Cordell Green -- President

  John J Anton

  Richard Barry

  Marcel Becker

  Lee Blaine

  Eric Bush

  Tom Emerson

  Allen T Goldberg

  Richard Jullig

  Wolfgang Polak

  Douglas Smith

  Douglas R Smith

  Eric Smith

  Arnaud Venet

  Steve Westfold

Company News

There are no news available.