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
| Name | Title | Hours Per Week | Total Salary |
|---|
| Cordell Green | EXECUTIVE DIRECTOR & CHIEF | 40 | $516,008 |
| Douglas Smith | CHIEF COMPUTER SCIENTIST | 45.28 | $292,318 |
| Garrin Kimmell | COMPUTER SCIENTIST | 39.16 | $252,962 |
| Marcel Becker | COMPUTER SCIENTIST | 46.67 | $214,826 |
| Stephen Westfold | ASSOC DIRECTOR, CORP SEC & | 39.9 | $206,340 |
| Alessandro Coglio | COMPUTER SCIENTIST | 39.27 | $197,867 |
| Jeff Kitson | SYSTEMS MANAGER | 40 | $187,499 |
| Stephen Fitzpatrick | CHIEF FINANCIAL OFFICER & | 41.11 | $183,652 |
| Eric Smith | COMPUTER SCIENTIST | 34.31 | $177,764 |
| James Mcdonald | COMPUTER SCIENTIST | 39.28 | $168,790 |
| Margarita Altamirano | DIRECTOR | 1 | $2,000 |
| Lawrence Kroll | DIRECTOR | 1 | $2,000 |
| David Desante | DIRECTOR | 1 | $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