| IRS990/AccountantCompileOrReviewInd | 0 | 0 |
| IRS990/AccountsPayableAccrExpnssGrp/BOYAmt | 0 | 1881253 |
| IRS990/AccountsPayableAccrExpnssGrp/EOYAmt | 0 | 1848161 |
| IRS990/AccountsReceivableGrp/BOYAmt | 0 | 676404 |
| IRS990/AccountsReceivableGrp/EOYAmt | 0 | 551171 |
| IRS990/ActivitiesConductedPrtshpInd | 0 | 0 |
| IRS990/ActivityOrMissionDesc | 0 | SCIENTIFIC RESEARCH AND DEVELOPMENT ON METHODS FOR SOFTWARE ASSURANCE. |
| IRS990/AllOtherContributionsAmt | 0 | 127946 |
| IRS990/AllOtherExpensesGrp/ManagementAndGeneralAmt | 0 | 15193 |
| IRS990/AllOtherExpensesGrp/ProgramServicesAmt | 0 | 1933 |
| IRS990/AllOtherExpensesGrp/TotalAmt | 0 | 17126 |
| IRS990/AnnualDisclosureCoveredPrsnInd | 0 | 1 |
| IRS990/AuditCommitteeInd | 0 | 1 |
| IRS990/BooksInCareOfDetail/BusinessName/BusinessNameLine1Txt | 0 | DR STEPHEN FITZPATRICK |
| IRS990/BooksInCareOfDetail/PhoneNum | 0 | 6504936871 |
| IRS990/BooksInCareOfDetail/USAddress/AddressLine1Txt | 0 | 3260 HILLVIEW AVENUE 2ND FLOOR |
| IRS990/BooksInCareOfDetail/USAddress/CityNm | 0 | PALO ALTO |
| IRS990/BooksInCareOfDetail/USAddress/StateAbbreviationCd | 0 | CA |
| IRS990/BooksInCareOfDetail/USAddress/ZIPCd | 0 | 943041220 |
| IRS990/BusinessRlnWithFamMemInd | 0 | 0 |
| IRS990/BusinessRlnWithOfficerEntInd | 0 | 0 |
| IRS990/BusinessRlnWithOrgMemInd | 0 | 0 |
| IRS990/CashNonInterestBearingGrp/BOYAmt | 0 | 200 |
| IRS990/CashNonInterestBearingGrp/EOYAmt | 0 | 200 |
| IRS990/ChangeToOrgDocumentsInd | 0 | 0 |
| IRS990/CntrctRcvdGreaterThan100KCnt | 0 | 1 |
| IRS990/CollectionsOfArtInd | 0 | 0 |
| IRS990/CompCurrentOfcrDirectorsGrp/ManagementAndGeneralAmt | 0 | 203320 |
| IRS990/CompCurrentOfcrDirectorsGrp/ProgramServicesAmt | 0 | 1233583 |
| IRS990/CompCurrentOfcrDirectorsGrp/TotalAmt | 0 | 1436903 |
| IRS990/CompensationFromOtherSrcsInd | 0 | 0 |
| IRS990/CompensationProcessCEOInd | 0 | 1 |
| IRS990/CompensationProcessOtherInd | 0 | 1 |
| IRS990/ConflictOfInterestPolicyInd | 0 | 1 |
| IRS990/ConservationEasementsInd | 0 | 0 |
| IRS990/ConsolidatedAuditFinclStmtInd | 0 | 1 |
| IRS990/ContractorCompensationGrp/CompensationAmt | 0 | 215193 |
| IRS990/ContractorCompensationGrp/ContractorAddress/USAddress/AddressLine1Txt | 0 | 101 E 27TH STREET SUITE 5300 |
| IRS990/ContractorCompensationGrp/ContractorAddress/USAddress/CityNm | 0 | AUSTIN |
| IRS990/ContractorCompensationGrp/ContractorAddress/USAddress/StateAbbreviationCd | 0 | TX |
| IRS990/ContractorCompensationGrp/ContractorAddress/USAddress/ZIPCd | 0 | 787121532 |
| IRS990/ContractorCompensationGrp/ContractorName/BusinessName/BusinessNameLine1Txt | 0 | THE UNIVERSITY OF TEXAS AT AUSTIN OFFIC |
| IRS990/ContractorCompensationGrp/ServicesDesc | 0 | PROVIDE RESEARCH & DEVELOPMENT OF SOFTWA |
| IRS990/CreditCounselingInd | 0 | 0 |
| IRS990/CYBenefitsPaidToMembersAmt | 0 | 0 |
| IRS990/CYContributionsGrantsAmt | 0 | 4291278 |
| IRS990/CYGrantsAndSimilarPaidAmt | 0 | 0 |
| IRS990/CYInvestmentIncomeAmt | 0 | 10624 |
| IRS990/CYOtherExpensesAmt | 0 | 2110339 |
| IRS990/CYOtherRevenueAmt | 0 | 0 |
| IRS990/CYProgramServiceRevenueAmt | 0 | 0 |
| IRS990/CYRevenuesLessExpensesAmt | 0 | -355806 |
| IRS990/CYSalariesCompEmpBnftPaidAmt | 0 | 2547369 |
| IRS990/CYTotalExpensesAmt | 0 | 4657708 |
| IRS990/CYTotalFundraisingExpenseAmt | 0 | 0 |
| IRS990/CYTotalProfFndrsngExpnsAmt | 0 | 0 |
| IRS990/CYTotalRevenueAmt | 0 | 4301902 |
| IRS990/DecisionsSubjectToApprovaInd | 0 | 0 |
| IRS990/DeductibleArtContributionInd | 0 | 0 |
| IRS990/DeductibleNonCashContriInd | 0 | 0 |
| IRS990/DelegationOfMgmtDutiesInd | 0 | 0 |
| IRS990/DepreciationDepletionGrp/ManagementAndGeneralAmt | 0 | 16981 |
| IRS990/DepreciationDepletionGrp/TotalAmt | 0 | 16981 |
| IRS990/Desc | 0 | 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). |
| IRS990/DescribedInSection501c3Ind | 0 | 1 |
| IRS990/DisregardedEntityInd | 0 | 0 |
| IRS990/DocumentRetentionPolicyInd | 0 | 1 |
| IRS990/DonorAdvisedFundInd | 0 | 0 |
| IRS990/ElectionOfBoardMembersInd | 0 | 0 |
| IRS990/EmployeeCnt | 0 | 17 |
| IRS990/EmploymentTaxReturnsFiledInd | 0 | 1 |
| IRS990/EngagedInExcessBenefitTransInd | 0 | 0 |
| IRS990/ExpenseAmt | 0 | 1394213 |
| IRS990/FamilyOrBusinessRlnInd | 0 | 0 |
| IRS990/FederalGrantAuditPerformedInd | 0 | 1 |
| IRS990/FederalGrantAuditRequiredInd | 0 | 1 |
| IRS990/FeesForServicesAccountingGrp/ManagementAndGeneralAmt | 0 | 51979 |
| IRS990/FeesForServicesAccountingGrp/TotalAmt | 0 | 51979 |
| IRS990/FeesForServicesLegalGrp/ManagementAndGeneralAmt | 0 | 2500 |
| IRS990/FeesForServicesLegalGrp/TotalAmt | 0 | 2500 |
| IRS990/ForeignActivitiesInd | 0 | 0 |
| IRS990/ForeignFinancialAccountInd | 0 | 0 |
| IRS990/ForeignOfficeInd | 0 | 0 |
| IRS990/Form8282PropertyDisposedOfInd | 0 | 0 |
| IRS990/Form990PartVIISectionAGrp/AverageHoursPerWeekRt | 0 | 1.00 |
| IRS990/Form990PartVIISectionAGrp/AverageHoursPerWeekRt | 1 | 1.00 |
| IRS990/Form990PartVIISectionAGrp/AverageHoursPerWeekRt | 2 | 1.00 |
| IRS990/Form990PartVIISectionAGrp/AverageHoursPerWeekRt | 3 | 40.00 |
| IRS990/Form990PartVIISectionAGrp/AverageHoursPerWeekRt | 4 | 38.31 |
| IRS990/Form990PartVIISectionAGrp/AverageHoursPerWeekRt | 5 | 39.20 |
| IRS990/Form990PartVIISectionAGrp/AverageHoursPerWeekRt | 6 | 39.29 |
| IRS990/Form990PartVIISectionAGrp/AverageHoursPerWeekRt | 7 | 35.86 |
| IRS990/Form990PartVIISectionAGrp/AverageHoursPerWeekRt | 8 | 39.11 |
| IRS990/Form990PartVIISectionAGrp/AverageHoursPerWeekRt | 9 | 40.00 |
| IRS990/Form990PartVIISectionAGrp/AverageHoursPerWeekRt | 10 | 41.92 |
| IRS990/Form990PartVIISectionAGrp/AverageHoursPerWeekRt | 11 | 40.00 |
| IRS990/Form990PartVIISectionAGrp/AverageHoursPerWeekRt | 12 | 38.85 |
| IRS990/Form990PartVIISectionAGrp/HighestCompensatedEmployeeInd | 0 | X |
| IRS990/Form990PartVIISectionAGrp/HighestCompensatedEmployeeInd | 1 | X |
| IRS990/Form990PartVIISectionAGrp/HighestCompensatedEmployeeInd | 2 | X |
| IRS990/Form990PartVIISectionAGrp/HighestCompensatedEmployeeInd | 3 | X |
| IRS990/Form990PartVIISectionAGrp/HighestCompensatedEmployeeInd | 4 | X |
| IRS990/Form990PartVIISectionAGrp/IndividualTrusteeOrDirectorInd | 0 | X |
| IRS990/Form990PartVIISectionAGrp/IndividualTrusteeOrDirectorInd | 1 | X |
| IRS990/Form990PartVIISectionAGrp/IndividualTrusteeOrDirectorInd | 2 | X |
| IRS990/Form990PartVIISectionAGrp/IndividualTrusteeOrDirectorInd | 3 | X |
| IRS990/Form990PartVIISectionAGrp/KeyEmployeeInd | 0 | X |
| IRS990/Form990PartVIISectionAGrp/KeyEmployeeInd | 1 | X |
| IRS990/Form990PartVIISectionAGrp/OfficerInd | 0 | X |
| IRS990/Form990PartVIISectionAGrp/OfficerInd | 1 | X |
| IRS990/Form990PartVIISectionAGrp/OfficerInd | 2 | X |
| IRS990/Form990PartVIISectionAGrp/OtherCompensationAmt | 0 | 0 |
| IRS990/Form990PartVIISectionAGrp/OtherCompensationAmt | 1 | 0 |
| IRS990/Form990PartVIISectionAGrp/OtherCompensationAmt | 2 | 0 |
| IRS990/Form990PartVIISectionAGrp/OtherCompensationAmt | 3 | 47513 |
| IRS990/Form990PartVIISectionAGrp/OtherCompensationAmt | 4 | 24681 |
| IRS990/Form990PartVIISectionAGrp/OtherCompensationAmt | 5 | 19504 |
| IRS990/Form990PartVIISectionAGrp/OtherCompensationAmt | 6 | 43357 |
| IRS990/Form990PartVIISectionAGrp/OtherCompensationAmt | 7 | 13975 |
| IRS990/Form990PartVIISectionAGrp/OtherCompensationAmt | 8 | 25489 |
| IRS990/Form990PartVIISectionAGrp/OtherCompensationAmt | 9 | 27969 |
| IRS990/Form990PartVIISectionAGrp/OtherCompensationAmt | 10 | 29816 |
| IRS990/Form990PartVIISectionAGrp/OtherCompensationAmt | 11 | 43098 |
| IRS990/Form990PartVIISectionAGrp/OtherCompensationAmt | 12 | 40239 |
| IRS990/Form990PartVIISectionAGrp/PersonNm | 0 | DAVID DESANTE |
| IRS990/Form990PartVIISectionAGrp/PersonNm | 1 | LAWRENCE KROLL |
| IRS990/Form990PartVIISectionAGrp/PersonNm | 2 | MARGARITA ALTAMIRANO |
| IRS990/Form990PartVIISectionAGrp/PersonNm | 3 | CORDELL GREEN |
| IRS990/Form990PartVIISectionAGrp/PersonNm | 4 | STEPHEN WESTFOLD |
| IRS990/Form990PartVIISectionAGrp/PersonNm | 5 | STEPHEN FITZPATRICK |
| IRS990/Form990PartVIISectionAGrp/PersonNm | 6 | DOUGLAS SMITH |
| IRS990/Form990PartVIISectionAGrp/PersonNm | 7 | ERIC SMITH |
| IRS990/Form990PartVIISectionAGrp/PersonNm | 8 | ALESSANDRO COGLIO |
| IRS990/Form990PartVIISectionAGrp/PersonNm | 9 | JEFF KITSON |
| IRS990/Form990PartVIISectionAGrp/PersonNm | 10 | MARCEL BECKER |
| IRS990/Form990PartVIISectionAGrp/PersonNm | 11 | LIMEI GILHAM |
| IRS990/Form990PartVIISectionAGrp/PersonNm | 12 | CHARLES MCCARTHY |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromOrgAmt | 0 | 2000 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromOrgAmt | 1 | 2000 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromOrgAmt | 2 | 2000 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromOrgAmt | 3 | 448695 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromOrgAmt | 4 | 200892 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromOrgAmt | 5 | 177644 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromOrgAmt | 6 | 276017 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromOrgAmt | 7 | 178624 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromOrgAmt | 8 | 248183 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromOrgAmt | 9 | 189538 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromOrgAmt | 10 | 196873 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromOrgAmt | 11 | 171119 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromOrgAmt | 12 | 152833 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromRltdOrgAmt | 0 | 0 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromRltdOrgAmt | 1 | 0 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromRltdOrgAmt | 2 | 0 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromRltdOrgAmt | 3 | 0 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromRltdOrgAmt | 4 | 0 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromRltdOrgAmt | 5 | 0 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromRltdOrgAmt | 6 | 0 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromRltdOrgAmt | 7 | 0 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromRltdOrgAmt | 8 | 0 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromRltdOrgAmt | 9 | 0 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromRltdOrgAmt | 10 | 0 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromRltdOrgAmt | 11 | 0 |
| IRS990/Form990PartVIISectionAGrp/ReportableCompFromRltdOrgAmt | 12 | 0 |
| IRS990/Form990PartVIISectionAGrp/TitleTxt | 0 | DIRECTOR |
| IRS990/Form990PartVIISectionAGrp/TitleTxt | 1 | DIRECTOR |
| IRS990/Form990PartVIISectionAGrp/TitleTxt | 2 | DIRECTOR |
| IRS990/Form990PartVIISectionAGrp/TitleTxt | 3 | EXECUTIVE DIRECTOR & CHIEF |
| IRS990/Form990PartVIISectionAGrp/TitleTxt | 4 | ASSOC DIRECTOR, CORP SEC & |
| IRS990/Form990PartVIISectionAGrp/TitleTxt | 5 | CHIEF FINANCIAL OFFICER & |
| IRS990/Form990PartVIISectionAGrp/TitleTxt | 6 | CHIEF COMPUTER SCIENTIST |
| IRS990/Form990PartVIISectionAGrp/TitleTxt | 7 | COMPUTER SCIENTIST |
| IRS990/Form990PartVIISectionAGrp/TitleTxt | 8 | COMPUTER SCIENTIST |
| IRS990/Form990PartVIISectionAGrp/TitleTxt | 9 | SYSTEMS MANAGER |
| IRS990/Form990PartVIISectionAGrp/TitleTxt | 10 | COMPUTER SCIENTIST |
| IRS990/Form990PartVIISectionAGrp/TitleTxt | 11 | COMPUTER SCIENTIST |
| IRS990/Form990PartVIISectionAGrp/TitleTxt | 12 | COMPUTER SCIENTIST |
| IRS990/Form990ProvidedToGvrnBodyInd | 0 | 1 |
| IRS990/FormationYr | 0 | 1981 |
| IRS990/FormerOfcrEmployeesListedInd | 0 | 0 |
| IRS990/FSAuditedBasisGrp/ConsolidatedBasisFinclStmtInd | 0 | X |
| IRS990/FSAuditedInd | 0 | 1 |
| IRS990/FundraisingActivitiesInd | 0 | 0 |
| IRS990/GamingActivitiesInd | 0 | 0 |
| IRS990/GoverningBodyVotingMembersCnt | 0 | 4 |
| IRS990/GovernmentGrantsAmt | 0 | 4163332 |
| IRS990/GrantsToIndividualsInd | 0 | 0 |
| IRS990/GrantsToOrganizationsInd | 0 | 0 |
| IRS990/GrantToRelatedPersonInd | 0 | 0 |
| IRS990/GrossReceiptsAmt | 0 | 4301902 |
| IRS990/GroupReturnForAffiliatesInd | 0 | 0 |
| IRS990/IncludeFIN48FootnoteInd | 0 | 0 |
| IRS990/IndependentAuditFinclStmtInd | 0 | 0 |
| IRS990/IndependentVotingMemberCnt | 0 | 3 |
| IRS990/IndivRcvdGreaterThan100KCnt | 0 | 13 |
| IRS990/IndoorTanningServicesInd | 0 | 0 |
| IRS990/InfoInScheduleOPartIIIInd | 0 | X |
| IRS990/InfoInScheduleOPartVIInd | 0 | X |
| IRS990/InfoInScheduleOPartXIIInd | 0 | X |
| IRS990/InformationTechnologyGrp/ManagementAndGeneralAmt | 0 | 10473 |
| IRS990/InformationTechnologyGrp/TotalAmt | 0 | 10473 |
| IRS990/InvestmentIncomeGrp/ExclusionAmt | 0 | 10624 |
| IRS990/InvestmentIncomeGrp/TotalRevenueColumnAmt | 0 | 10624 |
| IRS990/InvestmentInJointVentureInd | 0 | 0 |
| IRS990/IRPDocumentCnt | 0 | 4 |
| IRS990/IRPDocumentW2GCnt | 0 | 0 |
| IRS990/LandBldgEquipAccumDeprecAmt | 0 | 410684 |
| IRS990/LandBldgEquipBasisNetGrp/BOYAmt | 0 | 37858 |
| IRS990/LandBldgEquipBasisNetGrp/EOYAmt | 0 | 31941 |
| IRS990/LandBldgEquipCostOrOtherBssAmt | 0 | 442625 |
| IRS990/LegalDomicileStateCd | 0 | CA |
| IRS990/LoanOutstandingInd | 0 | 0 |
| IRS990/LobbyingActivitiesInd | 0 | 0 |
| IRS990/LocalChaptersInd | 0 | 0 |
| IRS990/MaterialDiversionOrMisuseInd | 0 | 0 |
| IRS990/MembersOrStockholdersInd | 0 | 0 |
| IRS990/MethodOfAccountingAccrualInd | 0 | X |
| IRS990/MinutesOfCommitteesInd | 0 | 1 |
| IRS990/MinutesOfGoverningBodyInd | 0 | 1 |
| IRS990/MissionDesc | 0 | 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. |
| IRS990/MoreThan5000KToIndividualsInd | 0 | 0 |
| IRS990/MoreThan5000KToOrgInd | 0 | 0 |
| IRS990/NetAssetsOrFundBalancesBOYAmt | 0 | 2515205 |
| IRS990/NetAssetsOrFundBalancesEOYAmt | 0 | 2159399 |
| IRS990/NetUnrelatedBusTxblIncmAmt | 0 | 0 |
| IRS990/NondeductibleContributionsInd | 0 | 0 |
| IRS990/OccupancyGrp/ProgramServicesAmt | 0 | 1349422 |
| IRS990/OccupancyGrp/TotalAmt | 0 | 1349422 |
| IRS990/OfficerMailingAddressInd | 0 | 0 |
| IRS990/OperateHospitalInd | 0 | 0 |
| IRS990/Organization501c3Ind | 0 | X |
| IRS990/OrganizationFollowsSFAS117Ind | 0 | X |
| IRS990/OtherAssetsTotalGrp/BOYAmt | 0 | 1000 |
| IRS990/OtherAssetsTotalGrp/EOYAmt | 0 | 1000 |
| IRS990/OtherChangesInNetAssetsAmt | 0 | 0 |
| IRS990/OtherEmployeeBenefitsGrp/ProgramServicesAmt | 0 | 590345 |
| IRS990/OtherEmployeeBenefitsGrp/TotalAmt | 0 | 590345 |
| IRS990/OtherExpensesGrp/Desc | 0 | SUBCONTRACTORS |
| IRS990/OtherExpensesGrp/Desc | 1 | COMPUTER ALLOCATION |
| IRS990/OtherExpensesGrp/Desc | 2 | MISCELLANEOUS/UNALLOCAT |
| IRS990/OtherExpensesGrp/Desc | 3 | OUTSIDE SERVICES |
| IRS990/OtherExpensesGrp/ManagementAndGeneralAmt | 0 | 47036 |
| IRS990/OtherExpensesGrp/ManagementAndGeneralAmt | 1 | 116024 |
| IRS990/OtherExpensesGrp/ManagementAndGeneralAmt | 2 | 20087 |
| IRS990/OtherExpensesGrp/ProgramServicesAmt | 0 | 231169 |
| IRS990/OtherExpensesGrp/ProgramServicesAmt | 1 | 178263 |
| IRS990/OtherExpensesGrp/TotalAmt | 0 | 231169 |
| IRS990/OtherExpensesGrp/TotalAmt | 1 | 225299 |
| IRS990/OtherExpensesGrp/TotalAmt | 2 | 116024 |
| IRS990/OtherExpensesGrp/TotalAmt | 3 | 20087 |
| IRS990/OtherSalariesAndWagesGrp/ManagementAndGeneralAmt | 0 | 52926 |
| IRS990/OtherSalariesAndWagesGrp/ProgramServicesAmt | 0 | 282320 |
| IRS990/OtherSalariesAndWagesGrp/TotalAmt | 0 | 335246 |
| IRS990/PartialLiquidationInd | 0 | 0 |
| IRS990/PayPremiumsPrsnlBnftCntrctInd | 0 | 0 |
| IRS990/PayrollTaxesGrp/ProgramServicesAmt | 0 | 160573 |
| IRS990/PayrollTaxesGrp/TotalAmt | 0 | 160573 |
| IRS990/PensionPlanContributionsGrp/ProgramServicesAmt | 0 | 24302 |
| IRS990/PensionPlanContributionsGrp/TotalAmt | 0 | 24302 |
| IRS990/PoliticalCampaignActyInd | 0 | 0 |
| IRS990/PrepaidExpensesDefrdChargesGrp/BOYAmt | 0 | 55219 |
| IRS990/PrepaidExpensesDefrdChargesGrp/EOYAmt | 0 | 39359 |
| IRS990/PrincipalOfficerNm | 0 | DR CORDELL GREEN |
| IRS990/ProfessionalFundraisingInd | 0 | 0 |
| IRS990/ProgSrvcAccomActy2Grp/Desc | 0 | FLEX: A MORE SCALABLE, EXPLAINABLE, AND TRUSTABLE FORMAL INFERENCE ENGINE -- DARPA/I2O/CASE-------------------------------------------------------------------OUR GOAL IS TO IMPROVE THE SCALABILITY AND EXPLAINABILITY OF FORMAL INFERENCE TOOLS LIKE THEOREM PROVERS AND CONSTRAINT SOLVERS. OUR APPROACH IS TO BUILD FLEX, A RESOLUTION THEOREM PROVER THAT MAY INCLUDE CONSTRAINT SOLVERS, BY (1) WRITING A HIGH-LEVEL FORMAL SPECIFICATION AND (2) APPLYING SEQUENCES OF AUTOMATED, PROOF-PRODUCING TRANSFORMATIONS TO GENERATE IMPLEMENTATIONS. BY INCORPORATING DOMAIN KNOWLEDGE INTO THE SPECIFICATION AND TRANSFORMATION PROCESS, WE WILL GENERATE DOMAIN-SPECIALIZED IMPLEMENTATIONS OF FLEX THAT WILL SCALE BETTER THAN GENERAL-PURPOSE PROVERS AND SOLVERS IN THE DOMAINS OF SPECIALIZATION. THE INCORPORATION OF DOMAIN KNOWLEDGE WILL ALSO ENABLE THE GENERATION OF FLEX IMPLEMENTATIONS THAT PROVIDE HIGHER-LEVEL, DOMAIN-SPECIFIC EXPLANATIONS OF BOTH SUCCESSFUL AND UNSUCCESSFUL INFERENCES. |
| IRS990/ProgSrvcAccomActy2Grp/ExpenseAmt | 0 | 740165 |
| IRS990/ProgSrvcAccomActy3Grp/Desc | 0 | SRI HORUS:----------- |
| IRS990/ProgSrvcAccomActy3Grp/ExpenseAmt | 0 | 533515 |
| IRS990/ProgSrvcAccomActyOtherGrp/Desc | 0 | ALL OTHER PROGRAMS |
| IRS990/ProgSrvcAccomActyOtherGrp/ExpenseAmt | 0 | 1453296 |
| IRS990/ProhibitedTaxShelterTransInd | 0 | 0 |
| IRS990/PYBenefitsPaidToMembersAmt | 0 | 0 |
| IRS990/PYContributionsGrantsAmt | 0 | 4732508 |
| IRS990/PYExcessBenefitTransInd | 0 | 0 |
| IRS990/PYGrantsAndSimilarPaidAmt | 0 | 0 |
| IRS990/PYInvestmentIncomeAmt | 0 | 2617 |
| IRS990/PYOtherExpensesAmt | 0 | 2380425 |
| IRS990/PYOtherRevenueAmt | 0 | 0 |
| IRS990/PYProgramServiceRevenueAmt | 0 | 0 |
| IRS990/PYRevenuesLessExpensesAmt | 0 | -199980 |
| IRS990/PYSalariesCompEmpBnftPaidAmt | 0 | 2554680 |
| IRS990/PYTotalExpensesAmt | 0 | 4935105 |
| IRS990/PYTotalProfFndrsngExpnsAmt | 0 | 0 |
| IRS990/PYTotalRevenueAmt | 0 | 4735125 |
| IRS990/QuidProQuoContributionsInd | 0 | 0 |
| IRS990/RcvFndsToPayPrsnlBnftCntrctInd | 0 | 0 |
| IRS990/ReconcilationRevenueExpnssAmt | 0 | -355806 |
| IRS990/RegularMonitoringEnfrcInd | 0 | 1 |
| IRS990/RelatedEntityInd | 0 | 1 |
| IRS990/RelatedOrganizationCtrlEntInd | 0 | 1 |
| IRS990/ReportInvestmentsOtherSecInd | 0 | 0 |
| IRS990/ReportLandBuildingEquipmentInd | 0 | 1 |
| IRS990/ReportOtherAssetsInd | 0 | 0 |
| IRS990/ReportOtherLiabilitiesInd | 0 | 0 |
| IRS990/ReportProgramRelatedInvstInd | 0 | 0 |
| IRS990/SavingsAndTempCashInvstGrp/BOYAmt | 0 | 3625777 |
| IRS990/SavingsAndTempCashInvstGrp/EOYAmt | 0 | 3383889 |
| IRS990ScheduleA/GiftsGrantsContriRcvd170Grp/CurrentTaxYearAmt | 0 | 4291278 |
| IRS990ScheduleA/GiftsGrantsContriRcvd170Grp/CurrentTaxYearMinus1YearAmt | 0 | 4732508 |
| IRS990ScheduleA/GiftsGrantsContriRcvd170Grp/CurrentTaxYearMinus2YearsAmt | 0 | 4384389 |
| IRS990ScheduleA/GiftsGrantsContriRcvd170Grp/CurrentTaxYearMinus3YearsAmt | 0 | 4927415 |
| IRS990ScheduleA/GiftsGrantsContriRcvd170Grp/CurrentTaxYearMinus4YearsAmt | 0 | 6620837 |
| IRS990ScheduleA/GiftsGrantsContriRcvd170Grp/TotalAmt | 0 | 24956427 |
| IRS990ScheduleA/GrossInvestmentIncome170Grp/CurrentTaxYearAmt | 0 | 10624 |
| IRS990ScheduleA/GrossInvestmentIncome170Grp/CurrentTaxYearMinus1YearAmt | 0 | 2617 |
| IRS990ScheduleA/GrossInvestmentIncome170Grp/CurrentTaxYearMinus2YearsAmt | 0 | 1389 |
| IRS990ScheduleA/GrossInvestmentIncome170Grp/CurrentTaxYearMinus3YearsAmt | 0 | 1381 |
| IRS990ScheduleA/GrossInvestmentIncome170Grp/CurrentTaxYearMinus4YearsAmt | 0 | 1650 |
| IRS990ScheduleA/GrossInvestmentIncome170Grp/TotalAmt | 0 | 17661 |
| IRS990ScheduleA/PublicOrganization170Ind | 0 | X |
| IRS990ScheduleA/PublicSupportCY170Pct | 0 | 0.99930 |
| IRS990ScheduleA/PublicSupportPY170Pct | 0 | 0.99970 |
| IRS990ScheduleA/PublicSupportTotal170Amt | 0 | 24956427 |
| IRS990ScheduleA/ThirtyThrPctSuprtTestsCY170Ind | 0 | X |
| IRS990ScheduleA/TotalCalendarYear170Grp/CurrentTaxYearAmt | 0 | 4291278 |
| IRS990ScheduleA/TotalCalendarYear170Grp/CurrentTaxYearMinus1YearAmt | 0 | 4732508 |
| IRS990ScheduleA/TotalCalendarYear170Grp/CurrentTaxYearMinus2YearsAmt | 0 | 4384389 |
| IRS990ScheduleA/TotalCalendarYear170Grp/CurrentTaxYearMinus3YearsAmt | 0 | 4927415 |
| IRS990ScheduleA/TotalCalendarYear170Grp/CurrentTaxYearMinus4YearsAmt | 0 | 6620837 |
| IRS990ScheduleA/TotalCalendarYear170Grp/TotalAmt | 0 | 24956427 |
| IRS990ScheduleA/TotalSupportAmt | 0 | 24974088 |
| IRS990/ScheduleBRequiredInd | 0 | 1 |
| IRS990ScheduleD/EquipmentGrp/BookValueAmt | 0 | 24514 |
| IRS990ScheduleD/EquipmentGrp/DepreciationAmt | 0 | 300650 |
| IRS990ScheduleD/EquipmentGrp/OtherCostOrOtherBasisAmt | 0 | 325164 |
| IRS990ScheduleD/LeaseholdImprovementsGrp/BookValueAmt | 0 | 7427 |
| IRS990ScheduleD/LeaseholdImprovementsGrp/DepreciationAmt | 0 | 87437 |
| IRS990ScheduleD/LeaseholdImprovementsGrp/OtherCostOrOtherBasisAmt | 0 | 94864 |
| IRS990ScheduleD/OtherLandBuildingsGrp/BookValueAmt | 0 | 0 |
| IRS990ScheduleD/OtherLandBuildingsGrp/DepreciationAmt | 0 | 22597 |
| IRS990ScheduleD/OtherLandBuildingsGrp/OtherCostOrOtherBasisAmt | 0 | 22597 |
| IRS990ScheduleD/TotalBookValueLandBuildingsAmt | 0 | 31941 |
| IRS990ScheduleJ/AnyNonFixedPaymentsInd | 0 | 1 |
| IRS990ScheduleJ/BoardOrCommitteeApprovalInd | 0 | X |
| IRS990ScheduleJ/CompBasedOnRevenueOfFlngOrgInd | 0 | 1 |
| IRS990ScheduleJ/CompBsdNetEarnsFlngOrgInd | 0 | 0 |
| IRS990ScheduleJ/CompBsdNetEarnsRltdOrgsInd | 0 | 0 |
| IRS990ScheduleJ/CompBsdOnRevRelatedOrgsInd | 0 | 0 |
| IRS990ScheduleJ/CompensationCommitteeInd | 0 | X |
| IRS990ScheduleJ/CompensationSurveyInd | 0 | X |
| IRS990ScheduleJ/EquityBasedCompArrngmInd | 0 | 0 |
| IRS990ScheduleJ/InitialContractExceptionInd | 0 | 0 |
| IRS990/ScheduleJRequiredInd | 0 | 1 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BaseCompensationFilingOrgAmt | 0 | 370721 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BaseCompensationFilingOrgAmt | 1 | 188280 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BaseCompensationFilingOrgAmt | 2 | 166739 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BaseCompensationFilingOrgAmt | 3 | 215961 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BaseCompensationFilingOrgAmt | 4 | 166053 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BaseCompensationFilingOrgAmt | 5 | 183416 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BaseCompensationFilingOrgAmt | 6 | 178897 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BaseCompensationFilingOrgAmt | 7 | 177787 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BaseCompensationFilingOrgAmt | 8 | 161697 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BaseCompensationFilingOrgAmt | 9 | 144701 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusFilingOrganizationAmount | 0 | 22499 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusFilingOrganizationAmount | 1 | 11424 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusFilingOrganizationAmount | 2 | 10601 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusFilingOrganizationAmount | 3 | 15193 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusFilingOrganizationAmount | 4 | 12409 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusFilingOrganizationAmount | 5 | 11352 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusFilingOrganizationAmount | 6 | 10073 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusFilingOrganizationAmount | 7 | 11972 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusFilingOrganizationAmount | 8 | 8234 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusFilingOrganizationAmount | 9 | 7662 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusRelatedOrganizationsAmt | 0 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusRelatedOrganizationsAmt | 1 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusRelatedOrganizationsAmt | 2 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusRelatedOrganizationsAmt | 3 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusRelatedOrganizationsAmt | 4 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusRelatedOrganizationsAmt | 5 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusRelatedOrganizationsAmt | 6 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusRelatedOrganizationsAmt | 7 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusRelatedOrganizationsAmt | 8 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/BonusRelatedOrganizationsAmt | 9 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompensationBasedOnRltdOrgsAmt | 0 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompensationBasedOnRltdOrgsAmt | 1 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompensationBasedOnRltdOrgsAmt | 2 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompensationBasedOnRltdOrgsAmt | 3 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompensationBasedOnRltdOrgsAmt | 4 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompensationBasedOnRltdOrgsAmt | 5 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompensationBasedOnRltdOrgsAmt | 6 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompensationBasedOnRltdOrgsAmt | 7 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompensationBasedOnRltdOrgsAmt | 8 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompensationBasedOnRltdOrgsAmt | 9 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990FilingOrgAmt | 0 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990FilingOrgAmt | 1 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990FilingOrgAmt | 2 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990FilingOrgAmt | 3 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990FilingOrgAmt | 4 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990FilingOrgAmt | 5 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990FilingOrgAmt | 6 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990FilingOrgAmt | 7 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990FilingOrgAmt | 8 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990FilingOrgAmt | 9 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990RltdOrgsAmt | 0 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990RltdOrgsAmt | 1 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990RltdOrgsAmt | 2 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990RltdOrgsAmt | 3 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990RltdOrgsAmt | 4 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990RltdOrgsAmt | 5 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990RltdOrgsAmt | 6 | 0 |
| IRS990ScheduleJ/RltdOrgOfficerTrstKeyEmplGrp/CompReportPrior990RltdOrgsAmt | 7 | 0 |