ONHS Report: HR001126S0011

Information Processing Techniques Office Office-Wide

Solicitation ID: HR001126S0011

Agency: DARPA/IPTO

Type: Solicitation

Deadline: 2027-06-22T14:00:00 ET

Eligibility: Maybe (Dual Approval Required)

Funding: N/A

Doc Type: BAA

Clearance: Maybe (Info Requested)

Program Manager: HR001126S0011@darpa.mil

Last Updated: 2026-06-24 19:05

Analyzed File: HR001126S0011.pdf

Eligibility Reasoning

FFRDCs (1) must clearly demonstrate that the proposed work is not otherwise available from the private sector; and (2) must provide a letter, on official letterhead from their sponsoring organization, that (a) cites the specific authority establishing the FFRDC eligibility to propose to government solicitations and compete with industry... DARPA will assess and determine FFRDC... eligibility on a case-by-case basis during the Abstract evaluation phase. Proposers must successfully establish eligibility at the Abstract stage to be invited to submit a Full Proposal.

Note: This is an AI-generated summary...

Summary

The Defense Advanced Research Projects Agency (DARPA) Information Processing Techniques Office (IPTO) is soliciting revolutionary research proposals under this Broad Agency Announcement (BAA) for topics not addressed by ongoing IPTO programs. The BAA focuses on three primary thrust areas: 1) AI Innovation and Execution for energy-efficient, assured, and trustworthy AI; 2) Inherent Security and Privacy to create fundamentally secure systems; and 3) Resilient Megasystems for modeling and assuring complex interconnected systems like supply chains and power grids. The office seeks unconventional, high-risk approaches that challenge accepted assumptions and offer revolutionary advances, specifically excluding evolutionary improvements. The submission process is two-tiered, requiring a mandatory abstract submission, with full proposals accepted by invitation only. The announcement emphasizes the use of formal methods for developing resilient software and outlines security requirements, including Cybersecurity Maturity Model Certification (CMMC) and a Fundamental Research Risk-Based Security (FRRBS) review for certain award types. A variety of award instruments are anticipated, including contracts, grants, cooperative agreements, and Other Transactions (OTs).

Overall Technical Areas

Artificial Intelligence InnovationEnergy-Efficient AI SystemsTrustworthy and Understandable AIAI AlignmentInherent System SecurityInherent Data PrivacyResilient Cyber SystemsSecure Networking and ComputingResilient Megasystems AnalysisComplex System ModelingSystemic Risk IdentificationMission-Critical Function AssuranceResilient Software DevelopmentFormal Methods VerificationComputational Science

Probable LBNL Areas

CSAEESAESAETA

Focus Areas

Example Priorities:

We envision vastly more energy-efficient and assured artificial intelligence (AI) systems to advance asymmetric capabilities at the edge of the network and to provide trustworthy, understandable AI to warfighters where and when they need it.
We also seek to mitigate risks of misalignment of machine actions and human interests.

Specific Technical Skills:

Artificial IntelligenceMachine LearningEnergy-Efficient ComputingEdge ComputingExplainable AI (XAI)AI SafetyAI AlignmentTrustworthy AIHuman-Machine Teaming

Potential PIs for this Area:

Name	Score	Organization
Anna Giannakou	0.70	CSA \| SciData \| Data Science Applications
Cary Whitney	0.69	CSA \| NERSC \| Data Center Department
Xiaoya Chong	0.68	ESA \| ALS \| PS Computing staff
Talita Perciano Costa Leite	0.68	CSA \| SciData \| Data Science Research
Alexander Sim	0.68	CSA \| SciData \| Data Science Research
Anastasiia Butko	0.68	CSA \| AMCR \| Computer Science
Han Li	0.68	ETA \| Building Tech. & Urban Sys. \| Bldg Technologies Dept
Hasita Veluri	0.68	CSA \| AMCR \| Computer Science
Samuel Williams	0.68	CSA \| AMCR \| Computer Science
Dipak Ghosal	0.68	CSA \| ESNET \| Tech Adv and Engagement

Example Priorities:

We seek to create a new generation of systems that are inherently secure and inherently private, together with security and privacy tools that are more effective and more adaptable – both in the moving-target and reactive senses – than current solutions.
We aim to develop more trustworthy and resilient systems based on the fundamental principles of the cyber networking, computing, and storage environment, and to create an asymmetric advantage in cyberspace.

Specific Technical Skills:

CybersecurityPrivacy-Enhancing TechnologiesSecure Computer ArchitectureResilient Systems DesignSecure NetworkingCryptographyAdaptive SecurityCyber WarfareStorage Security

Potential PIs for this Area:

Name	Score	Organization
Jason Lowe-Power	0.72	CSA \| SciData \| Data Science Applications
Steven Hofmeyr	0.70	CSA \| AMCR \| Computer Science
Nirmalendu Patra	0.69	CSA \| AMCR \| Computer Science
Michael Dopheide	0.69	CSA \| ESNET \| Security
Angelos Ioannou	0.69	CSA \| AMCR \| Computer Science
Amir Kamil	0.68	CSA \| AMCR \| Computer Science
Dipak Ghosal	0.68	CSA \| ESNET \| Tech Adv and Engagement
Scott Beamer	0.68	CSA \| AMCR \| Computer Science
Venkatesh Akella	0.68	CSA \| SciData \| Data Science Applications
Aditi Krishnapriyan	0.68	CSA \| AMCR \| Computer Science

Example Priorities:

We aim to develop machine-derived abstractions and models that expose the governing principles of highly complex and interconnected systems – like supply chains and power grids – to identify hidden systemic risks and emergent properties...
...and to enable the precise targeting of interventions and the proactive assurance of mission-critical functions.

Specific Technical Skills:

Complex Systems ModelingSystem DynamicsSupply Chain AnalysisCritical Infrastructure ProtectionRisk AnalysisMachine LearningData AbstractionEmergent Behavior AnalysisMission Assurance

Potential PIs for this Area:

Name	Score	Organization
Cristian Poliziani	0.70	ETA \| Energy Analysis \| Systems & Energy Tech Analysis
Alexandre Bayen	0.69	ETA \| Energy Analysis \| Systems & Energy Tech Analysis
Scott Moura	0.69	ETA \| ESDR \| Energy Storage & Dist Dpt
Kameshwar Poolla	0.69	ETA \| ESDR \| Energy Storage & Dist Dpt
Sabbie Miller	0.69	ETA \| Energy Analysis \| Systems & Energy Tech Analysis
Nica Campbell	0.69	ETA \| Energy Analysis \| Systems & Energy Tech Analysis
Sunhee Baik	0.69	ETA \| Energy Analysis \| Energy Markets & Planning
Alexander Sim	0.69	CSA \| SciData \| Data Science Research
Jessica Granderson	0.69	ETA \| Building Tech. & Urban Sys. \| Whole Building Sys Dept
Marta Gonzalez	0.69	ETA \| Energy Analysis \| Systems & Energy Tech Analysis

Example Priorities:

“Formal methods” is an umbrella term for a range of mathematically rigorous techniques for producing software along with machine-checkable evidence that the software does what it is supposed to do and, perhaps more importantly, does not do what it is not supposed to do.
Used judiciously, formal methods can eliminate virtually all exploitable vulnerabilities in software.
The proposal clearly demonstrates the capability to design, implement, and deliver resilient software capabilities within its technical approach.

Specific Technical Skills:

Formal MethodsSoftware VerificationMathematical LogicTheorem ProvingModel CheckingSecure Software DevelopmentResilient Software EngineeringProgramming Language TheorySoftware Assurance

Potential PIs for this Area:

Name	Score	Organization
Arpit Gupta	0.68	CSA \| ESNET \| Tech Adv and Engagement
Steven Hofmeyr	0.68	CSA \| AMCR \| Computer Science
Lavanya Ramakrishnan	0.67	CSA \| SciData \| Data Science Applications
Florin Rusu	0.67	CSA \| SciData \| Data Science Research
Damian Rouson	0.67	CSA \| AMCR \| Computer Science
Nestor Demeure	0.66	CSA \| NERSC \| HPC Technology Department
Gregory Lemieux	0.66	EESA \| CESD \| Earth System Sciences
Leonid Oliker	0.66	CSA \| AMCR \| Computer Science
Dan Bonachea	0.66	CSA \| AMCR \| Computer Science
Sophia Shao	0.66	CSA \| AMCR \| Computer Science

Potential LBNL PIs (Overall)

Note on PI Matching: These suggestions are generated through an AI-driven semantic analysis of LBNL staff profiles.

Name	Score	Organization
Anthony Ciavarella	0.77	CSA \| AMCR \| Computer Science · Computational Science
Steven Hofmeyr	0.76	CSA \| AMCR \| Computer Science · Complex System Modeling
Thomas Hendrickson	0.76	ETA \| Energy Analysis \| Systems & Energy Tech Analysis · Resilient Megasystems Analysis
Luisa Gonzalez	0.75	CSA \| AMCR \| Computer Science · Energy-Efficient AI Systems
Alexandre Bayen	0.75	ETA \| Energy Analysis \| Systems & Energy Tech Analysis · Resilient Cyber Systems
Gregory Lemieux	0.75	EESA \| CESD \| Earth System Sciences · Resilient Software Development
Adam Slagell	0.74	CSA \| ESNET \| Security · Secure Networking and Computing
Tiffany Connors	0.73	CSA \| NERSC \| Data Center Department · Mission-Critical Function Assurance
Sean Peisert	0.73	CSA \| SciData \| Data Science Applications · Inherent Data Privacy
Abdelilah Essiari	0.73	CSA \| SciData \| Data Science Applications · Inherent System Security

Fundamental Research Exemption (FRE)

As of the date of publication of this solicitation, the Government cannot identify whether the work under this solicitation may be considered fundamental research and may award both fundamental and non-fundamental research.