KESTREL INSTITUTE
3260 HILLVIEW AVENUE 2ND FLOOR, PALO ALTO, CA 943041220 www.kestrel.edu

Total Revenue
$4,735,125
Total Expenses
$4,935,105
Net Assets
$2,515,205

Organizations Filed Purposes: KESTREL INSTITUTE PERFORMS RESEARCH ON METHODS AND TOOLS FOR SOFTWARE ASSURANCE - USING MATHEMATICAL MODELS AND PROPERTIES OF ALGORITHMS AND DATA STRUCTURES TO ENSURE THAT SOFTWARE PERFORMS PREDICTABLY AND RELIABLY. OUR RESEARCH IS COMMUNICATED TO THE WIDER ACADEMIC COMMUNITY THROUGH JOURNALS, CONFERENCES AND TECHNICAL MEETINGS. OUR TOOLS ARE USED BY U.S. AND INTERNATIONAL UNIVERSITIES. WE OCCASIONALLY HOST STUDENTS FOR BRIEF PERIODS TO WORK ON PROJECTS ALIGNED WITH OUR RESEARCH INTERESTS.

SCIENTIFIC RESEARCH AND DEVELOPMENT ON METHODS FOR SOFTWARE ASSURANCE.

DARPA MUSE:-----------THE GOAL OF KESTREL'S MUSE PROJECT, DERIVATIONMINER, IS TO RECONSTRUCT (I.E. MINE) FORMAL STEPWISE REFINEMENT DERIVATIONS FROM LARGE CORPORA OF PROGRAMS, SPECIFICATIONS, REFINEMENTS, PROOFS, AND RELATED ARTIFACTS. OUR APPROACH COMBINES BIG DATA ANALYSIS, STATIC ANALYSIS BASED ON ABSTRACT INTERPRETATION, VERIFIED LIFTING OF PROGRAMS TO LOGIC, AND AUTOMATED TRANSFORMATIONS FOR REFINEMENT-BASED SYNTHESIS. MINING DERIVATIONS ENABLES EXISTING CODE TO BE RE-USED, WITH FORMALLY PROVED ASSURANCE, IN THE CONTEXT OF CORRECT-BY-CONSTRUCTION DEVELOPMENTS. DERIVATIONMINER EXPLORES ANALYSIS-BY-SYNTHESIS, WHERE TRADITIONAL PROGRAM ANALYSIS IS COMBINED WITH SYNTHESIS TECHNOLOGY TO RECONSTRUCT DERIVATIONS BY ALTERNATING TOP-DOWN STEPS (SYNTHESIS) AND BOTTOM-UP STEPS (ANALYSIS).

PLANX ACS:----------PLAN X IS A FOUNDATIONAL PROGRAM TO RESEARCH AND DEVELOP PLATFORMS TO PLAN FOR, CONDUCT, AND ASSESS CYBER DEFENSE. TOWARDS THIS END THE PROGRAM WILL BRIDGE CYBER COMMUNITIES OF INTEREST FROM ACADEME, TO THE DEFENSE INDUSTRIAL BASE, TO THE COMMERCIAL TECH INDUSTRY, TO USER-EXPERIENCE EXPERTS.

SCHARP (DARPA/RSPACE PROGRAM):------------------------------RSPACE SEEKS TO CREATE A REVOLUTIONARY DISTRIBUTED PLANNING CAPABILITY TO PROVIDE RESILIENT COMMAND AND CONTROL (C2) AND TO MANAGE COMPLEX MILITARY OPERATIONS EVEN WHEN COMMUNICATIONS ARE LIMITED AND UNRELIABLE. RSPACE IS DEVELOPING HUMAN-CENTERED SOFTWARE DECISION AIDS THAT, BASED ON THE COMMANDER'S INTENT, WILL HELP OPERATORS THROUGHOUT THE C2 ENTERPRISE CONTROL DAILY OPERATIONS IN A COMPLEX BATTLESPACE COMPOSING MISSION PACKAGES (COORDINATING ACROSS THE NETWORK AS NEEDED), RESPONDING TO EMERGING OPPORTUNITIES, AND ASSESSING PROGRESS TOWARDS ACHIEVING THE COMMANDER'S INTENT. RSPACE IS FOCUSED ON THE OPERATIONAL LEVEL OF THE AIR OPERATIONS DOMAIN.

Executives Listed on Filing

Total Salary includes financial earnings, benefits, and all related organization earnings listed on tax filing

NameTitleHours Per WeekTotal Salary
Cordell GreenEXECUTIVE DIRECTOR & CHIEF40$516,008
Douglas SmithCHIEF COMPUTER SCIENTIST45.28$292,318
Garrin KimmellCOMPUTER SCIENTIST39.16$252,962
Marcel BeckerCOMPUTER SCIENTIST46.67$214,826
Stephen WestfoldASSOC DIRECTOR, CORP SEC &39.9$206,340
Alessandro CoglioCOMPUTER SCIENTIST39.27$197,867
Jeff KitsonSYSTEMS MANAGER40$187,499
Stephen FitzpatrickCHIEF FINANCIAL OFFICER &41.11$183,652
Eric SmithCOMPUTER SCIENTIST34.31$177,764
James McdonaldCOMPUTER SCIENTIST39.28$168,790
Margarita AltamiranoDIRECTOR1$2,000
Lawrence KrollDIRECTOR1$2,000
David DesanteDIRECTOR1$2,000

Data for this page was sourced from XML published by IRS (public 990 form dataset) from: https://s3.amazonaws.com/irs-form-990/202003219349312885_public.xml