Karim Eldefrawy

Cryptography, Cybersecurity, Privacy Computer Science

Co-founder & CTO of Confidencial.io
2017–early 2023: SRI (Internet Origin)
2011–2016: HRL (Part of IBM Research)
2006–2010: PhD@UC Irvine

Scientific curiosity

A living research series · 19 articles

The R&D Ratchet

How America lost the institutions that could think long—and the narrow window to build what comes next.

A firsthand, evidence-led inquiry into the incentive structures that replaced the American industrial research laboratory, what those structures preserve and destroy, and how an AI-native public–private successor might be designed.

0 published 19 in research 0 planned 4 evidence classes
Conceptual illustration of a continuous thread of knowledge passing through a bright human-and-AI research laboratory, with faded archival marks for HRL, Bell Labs, SRI International, Lucent Technologies, IBM, and PARC integrated into the background.

The proposition

The history and trajectory of these institutions provide the evidence. The incentive structures are the subject.

America did not simply defund research. It replaced one institutional equilibrium with several narrower ones — corporate returns tied to product, platform, and capital-market horizons; finite government programs; billable-project economics that can reward proposal and administrative throughput; publication metrics; patent accounting; and venture-backed commercialization optimized for acquisition or IPO. While each decision may look rational and may even be productive in the short term, the end result is a combined system that has consumed inherited deep-research capabilities faster than it has replenished them.

The spending paradox

A near-trillion-dollar flow does not reveal the state of the system

National accounts measure activity far better than they measure retained teams, tacit knowledge, apprenticeships, facilities, or the ability to carry an uncertain idea across institutional borders.

Estimated U.S. R&D, 2024

$993.4B

Current dollars and estimated composition. Source and qualifications

What the total cannot tell us

  1. 01

    Continuity Did a capable team survive between projects?

  2. 02

    Memory Were failed paths and experimental judgment retained?

  3. 03

    Integration Could research cross hardware, software, product, and mission boundaries?

  4. 04

    Transition Did anyone own the work after the prototype?

U.S. R&D grew; its composition tilted toward development

Billions of constant 2017 U.S. dollars

Move across the chart or focus it and use the arrow keys to inspect values.

The chart does not prove institutional decline. It establishes the paradox the series must explain: high and rising activity can coexist with weaker long-lived organizational capability. Inspect the source record.
View the chart data as a table
Billions of constant 2017 U.S. dollars
YearBasic researchApplied researchExperimental development
200057.877.7233.0
200573.485.5239.9
201085.388.0280.3
201586.799.8321.6
2020105.9125.6448.4
2024115.5143.9532.7

Shared analytical vocabulary

Ten Propositions The Series Makes Measurable

These terms are not conclusions disguised as definitions. Each names a proposed mechanism and the observation that could support, narrow, or defeat it.

  1. Accounting

    Capability Stock

    Reusable teams, tools, memory, judgment, relationships, and transition options that persist beyond one output or project.

    Empirical testMeasure renewal, depreciation, reuse, and reconstitution cost beside annual spending.
  2. Reliability

    Effective Horizon

    The time for which every indispensable, non-transferable complement can remain available—not the nominal length of the longest grant.

    Empirical testIdentify the shortest-lived minimum cut between question and validated use.
  3. Capability

    Adjacency Capital

    Accumulated reductions in the cost of routing expertise, exposing errors, coordinating unlike roles, and translating across layers.

    Empirical testCompare experienced and reconstituted teams on routing time, rework, correction, and transition.
  4. Reliability

    Handoff Loss

    State lost when people, artifacts, assumptions, authority, or responsibility cross an institutional boundary.

    Empirical testTrack end-to-end continuation and reconstruction across every funded transfer.
  5. Reliability

    Common-Mode Exposure

    Apparently separate projects or evaluators that share the same model, data, metric, method, vendor, incentive, or transition bottleneck.

    Empirical testDisclose model, evidence, method, and incentive distance before claiming independent confirmation.
  6. Knowledge

    Epistemic Debt

    The gap between downstream confidence and dependence placed on a claim and the verification that claim has actually received.

    Empirical testMaintain typed evidence states, dependency records, correction latency, and downstream repair.
  7. AI Age

    Abundance Inversion

    As hypotheses, prose, code, and scientific form become cheap, independent witnesses, accountable attention, and physical evidence become scarcer.

    Empirical testMeasure verification queues and validated state changes rather than generated output volume.
  8. Governance

    Charter-to-Work Drift

    A long-horizon institutional name or legal mandate persists while actual work, authority, or staffing narrows toward short tasks.

    Empirical testCompare the charter with who initiates work, what survives tasks, and which capabilities are renewed over time.
  9. Governance

    Reversible Authority

    Practiced technical leaders receive real discretion for a bounded term while dissent, verification, conflicts, appeals, and retrospective audits constrain capture.

    Empirical testRecord decision rights, prospective forecasts, overrides, minority views, and later calibration.
  10. Transition

    Residual Capability Owner

    The institution still responsible after the paper, grant, program, degree, transaction, or prototype has satisfied its local obligation.

    Empirical testName the payer, custodian, transition owner, maintenance duty, review date, and termination rule.

Twenty-Six Years Inside a Thirty-Year Transformation

My Route Through The Incentive Systems

The personal record begins in 2000. The institutional arc begins with the 1996 Bell Labs split and continues through the transactions reshaping PARC and HRL.

  1. DDocumented

    Bell Labs Split

    AT&T spun most of Bell Labs and its equipment business into Lucent; a smaller research organization remained with AT&T.

    Source
  2. MFirsthand

    Ericsson, Sweden

    Karim’s internship across Ericsson’s Linköping and Kista facilities; Kista was Sweden’s “Silicon Valley” telecommunications cluster.

  3. MFirsthand

    Lucent / Bell Labs

    Karim’s summer internship during the telecom contraction.

  4. MFirsthand

    Cisco Systems

    Karim’s internship in San Jose, adding a product-company view of Silicon Valley’s technology system.

  5. MFirsthand

    AT&T Research

    Research internship during graduate school, enabling comparison between two descendants of the Bell system.

  6. MFirsthand

    HRL Laboratories

    Mission-driven industrial R&D spanning secure systems, privacy, cloud infrastructure, biometrics, and cyber-physical systems.

  7. MFirsthand

    SRI International

    Full-time from 2017 through the 2021 Confidencial.io spinout, then part-time through early 2023 while finishing DARPA programs.

  8. MFirsthand

    Confidencial.io

    Spun out from SRI in 2021 to carry selected research into product, procurement, customers, and company survival.

  9. MFirsthand

    Confidencial.io Seed Financing

    Firsthand participation as Confidencial.io co-founder; SRI's June announcement independently documents the seed investors and private-beta launch, and is not the spinout date.

    Source
  10. MFirsthand

    PARC Joins SRI

    Firsthand observation through Karim's SRI office and badge, retained through 2026; the legal transaction facts remain independently documented.

    Source
  11. DDocumented

    IBM Announces HRL Agreement

    The agreement was announced July 23 and remained subject to closing conditions at the time of this page’s update.

    Source

Comparative institutional analysis

Nine Incentive Structures, Nine Different Bargains

Select a model for a concise reading, then use the table to compare the same variables across every regime.

Classical Bell Labs

Vertically Integrated Corporate Laboratory

Who Pays
Regulated and market revenues inside an integrated operating and manufacturing system
Real Horizon
Decade-scale when the parent system is stable
What It Preserves
Cross-layer teams, apprenticeship, facilities, and patient problem selection
Characteristic Failure
The research cross-subsidy depends on an economic and regulatory settlement that may not survive restructuring
Compare Incentive Structures
ModelPayerReal HorizonPreservesCharacteristic Failure
Vertically Integrated Corporate LaboratoryClassical Bell LabsRegulated and market revenues inside an integrated operating and manufacturing systemDecade-scale when the parent system is stableCross-layer teams, apprenticeship, facilities, and patient problem selectionThe research cross-subsidy depends on an economic and regulatory settlement that may not survive restructuring
Post-Breakup Equipment-Company ResearchLucent-Era Bell LabsEquipment revenues and capital marketsStrategic in principle; exposed to product and industry cycles in practiceDeep hardware and systems expertise near manufacturing and product groupsParent-company distress can compress the horizon faster than research culture can adapt
Network-Operator Research LaboratoryAT&T Labs ResearchCommunications-services businessMedium to long, with continuing pressure for operational relevanceReal operational problems, data, and feedback from deployed infrastructureBroad spillovers may escape the sponsor while corporate priorities narrow the research surface
Owner-Sponsored, Mission-Driven Industrial LaboratoryHRL LaboratoriesStrategic owners and government mission sponsorsProgram clocks nested inside longer-lived technical capabilitiesSpecialized facilities and ambitious applied science beyond consumer-market horizonsSponsor boundaries and contract portfolios can turn durable capability into disconnected projects
Independent Nonprofit Contract-Research InstituteSRI InternationalGovernment and commercial contracts, plus limited internal investmentFinite projects carried by an institution intended to persist across themMultidisciplinary teams and networks across sponsors and performersChargeability, proposal churn, and funding cliffs can become the institution’s hidden operating system
Time-Bounded Agency Program NetworkDARPA, DHS, IARPA, ARPA-H ProgramsPublic mission agenciesFinite programs led by empowered program managersUrgency, cross-organizational coordination, and permission to attempt high-risk workThe program can create a temporary laboratory without funding a permanent institutional home for what it learns
University Research SystemResearch UniversitiesPublic grants, tuition, philanthropy, and endowmentsGrant, degree, and tenure clocksOpen knowledge, intellectual diversity, and the talent pipelineIntegration, maintenance, negative results, and long transition work are frequently under-rewarded
Venture-Backed Technology TransitionResearch Spinouts and StartupsInvestors and customersRunway, market adoption, and financing cyclesConcentrated execution on one transition pathA startup cannot rationally maintain the broad research commons from which its product emerged
AI-Native Public–Private LaboratoryProposed Design; Informed by NAIRR, NSTC, FFRDCs, DARPA, and DOE LaboratoriesLong-charter public capital, industry membership, mission procurement, and philanthropyRolling ten- to fifteen-year mission charters with layered reviewShared infrastructure, institutional memory, apprenticeship, and complementary transition assetsMust be designed against political capture, incumbent capture, bureaucracy, mission drift, and performative metrics

Causal argument map

How locally rational incentives can produce systemic capability loss

Select a node to isolate its claim, evidence classes, and causal neighborhood. Connections represent propositions the articles must substantiate—not settled facts.

Inherited capability

Replacement incentives

System behavior

Capability loss

Observable outcome

Design pressure

Design response

Publication architecture

Nineteen articles—public working manuscripts and the book’s evidence base

The landing page remains the map, while every linked DRAFT is a live public manuscript with its central argument, evidence, objections, and falsifiers. The website is intended to carry roughly 60–70 percent of the eventual book’s substance; the book will add archival depth, interviews, extended cases, technical appendices, and larger-format visual analysis.

  1. 03 In research

    Lucent and AT&T

    One Heritage, Two Incentive Systems

    Parent economics determine which parts of a research culture can survive.

    Planned visual evidence
    • Split-lineage map
    • Side-by-side incentive table
    • Problem-to-operation pathways

    DRAFT

  2. 04 In research

    HRL Laboratories, 2010–2016

    HRL and the Bargain of Mission-Driven Research

    A durable mission customer protects ambitious work while also defining its boundaries.

    Planned visual evidence
    • Funding-and-mission map
    • Capability-versus-project layers
    • Patent-to-program network

    DRAFT

  3. 05 In research

    SRI International, full-time 2017–2021 and part-time through early 2023

    SRI and the Project-Funded Institution

    An institution can persist across projects while its people remain governed by project clocks.

    Planned visual evidence
    • Program portfolio map
    • Chargeability pressure loop
    • Collaboration network

    DRAFT

  4. 07 In research

    Academic basic research, grant cycles, publication incentives, and facilities and administrative costs

    The University Is Not the Missing Laboratory

    Universities are indispensable to discovery and training, but project grants and publication markets do not fund the complete institutional stack required for durable R&D.

    Planned visual evidence
    • Academic R&D role map
    • Grant-and-overhead feedback loop
    • Direct-versus-shared-cost explainer

    DRAFT

  5. 08 In research

    DARPA and ARPA-E program leadership; expert review; technical portfolio governance

    The People Who Choose the Bets Must Have Made Them

    Research judgment is a practiced skill, so people with firsthand research and multi-year program experience must hold real authority over technical portfolios—without turning publication or patent counts into a credentialing machine.

    Planned visual evidence
    • Research-governance authority map
    • Four-part experience dossier
    • Expertise-and-capture control matrix

    DRAFT

  6. 09 In research

    Microsoft Research Silicon Valley; IBM Almaden; IBM Microelectronics and GlobalFoundries

    A Laboratory Is an Adjacency Graph, Not an Address

    A laboratory survives only when its working relationships, complementary roles, technical assets, memory, and problem-selection authority remain connected—not merely when its building, payroll, or name persists.

    Planned visual evidence
    • Capability graph before and after closure
    • Node-survival versus edge-survival map
    • Post-reorganization capability ledger

    DRAFT

  7. 10 In research

    PARC, Xerox, and SRI

    PARC and the Appropriability Trap

    Invention, recognition, complementary assets, and value capture are four different capabilities.

    Planned visual evidence
    • Four-capability matrix
    • IP-and-host timeline
    • Spillover map

    DRAFT

  8. 11 In research

    Karim’s publication, patent, program, and transition record

    Papers, Patents, Prototypes—and Vanishing Capability

    Output metrics can rise while the ability to produce the next generation of work declines.

    Planned visual evidence
    • Output-versus-capability dashboard
    • Test-of-time timeline
    • Evidence-quality matrix

    DRAFT

  9. 12 In research

    Confidencial and research spinouts

    The Startup Is Not a Research Laboratory

    A startup can complete one transition but cannot rationally maintain the research commons.

    Planned visual evidence
    • Paper-to-product work map
    • Incentive comparison
    • Missing-middle cost stack

    DRAFT

  10. 13 In research

    SRI/PARC and the announced IBM/HRL transaction

    Consolidation as Triage

    Preservation should be measured by surviving teams and capabilities, not by the transaction announcement.

    Planned visual evidence
    • Before-and-after capability ledger
    • Acquisition outcome tree
    • Five-year scorecard

    DRAFT

  11. 14 In research

    The remaining mentorship overlap

    The Last Transfer Window

    Institutional memory is perishable, making delay more costly than budget statistics reveal.

    Planned visual evidence
    • Mentorship-chain model
    • Capability decay curves
    • Window indicators

    DRAFT

  12. 15 In research

    Mathematics; formal proof; the Microsoft-linked Majorana retraction; AI-assisted replication

    When AI Audits What Science Takes for Granted

    How much of the scientific record is verified, and how much is merely unchallenged? AI may expose epistemic debt, subtracting from accepted knowledge before it adds to it.

    Planned visual evidence
    • Epistemic-status ledger
    • AI verification pipeline
    • Audit-shock curve

    DRAFT

  13. 16 In research

    Shannon's bandwagon; Feynman's cargo cult; Wigner's unreasonable effectiveness; data-driven AI and hallucination

    Cargo Cult Science at Machine Speed

    LLMs can industrialize the surface form of science—fluent prose, citations, equations, and experimental ritual—without increasing contact with truth; AI will amplify the epistemic standards of the institutions that deploy it.

    Planned visual evidence
    • Historical warning-to-AI map
    • Mathematical-validity versus empirical-adequacy matrix
    • Form-to-witness verification funnel

    DRAFT

  14. 17 In research

    A proposed successor informed by NAIRR, NSTC, FFRDCs, DARPA, and DOE laboratories

    An AI-Native Laboratory for the Public Good

    A successor must align capital, careers, infrastructure, AI, transition, and public value in one institutional design.

    Planned visual evidence
    • Interactive lab brain map
    • Governance and IP tiers
    • Ten-year pilot roadmap

    DRAFT

  15. 18 In research

    The transistor, computing, the Internet, software, cryptography, smartphones, AI, quantum technology, and the institutions that produced them

    The System Worked. Compared With What?

    A catalogue of breakthroughs proves productive capacity, not counterfactual efficiency, acceptable delay, or the sustainability of the institutions and developmental paths that produced them.

    Planned visual evidence
    • Achievement-versus-efficiency argument map
    • Research-productivity benchmark
    • Counterfactual pilot scorecard

    DRAFT

  16. 19 In research

    Graduate students and early-career researchers navigating academia, industrial R&D, public missions, national laboratories, and research-based company formation

    Do Not Restart at Every Boundary

    When no institution supplies the whole developmental path, young researchers need a compounding sequence organized around one durable question—but universities, funders, laboratories, and employers must pay for the bridges rather than externalizing integration risk onto the least powerful people in the system.

    Planned visual evidence
    • Cross-sector doctorate destination chart
    • Compounding-path argument map
    • Boundary-contract checklist
    • Seven-year pathway scorecard

    DRAFT

Showing all 19 articles.

The narrow path forward

An AI-native laboratory is an institution, not a model with a building

The proposed successor joins six systems that are usually funded, governed, and evaluated separately. Select a node to inspect its institutional function.

Shared AI infrastructure

NAIRR

Compute, data, tools, training, and public–private resource contributions.

Evidence
Precompetitive technical commons

NSTC

Research, prototyping, commercialization, collaboration, and workforce development.

Evidence
Long-term mission relationship

FFRDCs

Continuity, institutional memory, special access, objectivity, and public-interest obligations.

Evidence
Portfolio leadership

DARPA

Empowered program managers, ambitious goals, milestones, and cross-sector performer networks.

Evidence

Inspectable claims

Source Ledger

  1. Federal statistical table

    Indicators 2026: U.S. R&D expenditures by type, selected years 2000–2024

    National Center for Science and Engineering Statistics. Supports: R&D totals, constant-dollar trends, and the basic/applied/development composition.

  2. Federal statistical report

    Business R&D Performance in the United States Increases to $722 Billion in 2023

    National Center for Science and Engineering Statistics. Supports: The scale, character-of-work mix, company-size distribution, and geographic concentration of U.S. business R&D performed in 2023.

  3. Federal statistical synthesis

    Indicators 2026: Discovery—R&D Activity and Research Publications

    National Science Board and National Center for Science and Engineering Statistics. Supports: The concentration of 2023 business R&D in five industries and three states, including reported R&D in software, biotechnology, artificial intelligence, and nanotechnology.

  4. Institutional primary source

    Bell Labs history

    Nokia Bell Labs. Supports: The 1996 AT&T/Lucent split, later Bell Labs institutional transitions, and Nokia Bell Labs’ current count of ten Nobel Prizes and five Turing Awards.

  5. Transaction announcement

    IBM to acquire HRL Laboratories

    IBM. Supports: The signed agreement, stated rationale, ownership at announcement, and pending closing status.

  6. Institutional primary source

    About SRI International

    SRI International. Supports: SRI’s institutional history and PARC’s 2023 integration.

  7. Transaction announcement

    Xerox announces donation of PARC to SRI International

    Xerox. Supports: The form, rationale, and announced structure of the PARC transfer.

  8. Agency primary source

    Become a program manager

    DARPA. Supports: Fixed program-manager tenure, portfolio authority, milestones, and performer coordination.

  9. Federal oversight report

    Federal Research—Management and Oversight of FFRDCs

    U.S. Government Accountability Office. Supports: Long-term government relationships, institutional memory, objectivity, and special access in the FFRDC model.

  10. Agency progress report

    NAIRR at two years

    U.S. National Science Foundation. Supports: Shared AI resources, federal/private participation, research access, and the move toward durable infrastructure.

  11. Agency primary source

    National Semiconductor Technology Center

    National Institute of Standards and Technology. Supports: The public–private consortium, prototyping, investment, collaboration, and workforce model.

  12. Agency primary source

    Technology Commercialization Fund

    U.S. Department of Energy. Supports: Cost-shared lab-to-market partnerships and commercialization infrastructure.

  13. Peer-reviewed empirical study

    The decline of science in corporate R&D

    Ashish Arora, Sharon Belenzon, and Andrea Patacconi. Supports: The documented decline in scientific publication by large corporate R&D performers between 1980 and 2007 and the authors' analysis of narrower firm scope.

  14. Peer-reviewed empirical study

    Are Ideas Getting Harder to Find?

    Nicholas Bloom, Charles I. Jones, John Van Reenen, and Michael Webb. Supports: Evidence that rising research effort has accompanied declining measured research productivity in several domains, subject to the study's choice of exponential-growth benchmarks.

  15. Peer-reviewed economic model and synthesis

    Measuring the Social Return to R&D

    Charles I. Jones and John C. Williams. Supports: The authors' model-based conclusion that conservative estimates implied socially optimal R&D investment at least two to four times actual investment; this is an underinvestment result, not evidence of a two-to-four-times operational productivity gain.

  16. Prize record and scientific history

    The Nobel Prize in Physics 1956

    Nobel Prize Outreach. Supports: The award to John Bardeen, Walter Brattain, and William Shockley for semiconductor research and discovery of the transistor effect.

  17. Agency historical record

    ARPANET

    Defense Advanced Research Projects Agency. Supports: DARPA's role, the 1969 four-node network including SRI, the development of internetworking and TCP/IP, and the transition from ARPANET toward the Internet.

  18. Professional-society award record

    About the ACM A.M. Turing Award—Fact Sheet

    Association for Computing Machinery. Supports: The award citations for John Backus on FORTRAN and practical high-level programming systems and for Ken Thompson and Dennis Ritchie on generic operating-systems theory and UNIX.

  19. Professional-society award record

    Cryptography Pioneers Receive ACM A.M. Turing Award

    Association for Computing Machinery. Supports: The contribution of Whitfield Diffie and Martin Hellman to public-key cryptography and digital signatures and their downstream importance to Internet security.

  20. Professional-society award record

    Fathers of the Deep Learning Revolution Receive ACM A.M. Turing Award

    Association for Computing Machinery. Supports: ACM's recognition of Yoshua Bengio, Geoffrey Hinton, and Yann LeCun for conceptual and engineering breakthroughs that made deep neural networks a critical component of computing.

  21. Product announcement

    Apple Reinvents the Phone with iPhone

    Apple. Supports: The original iPhone's integration of mobile telephony, Internet communication, software, sensors, and a multi-touch interface; the announcement establishes the product claim and configuration, not sole invention of every underlying component.

  22. Federal statistical framework

    Invention, Knowledge Transfer, and Innovation—Introduction

    National Science Board and National Science Foundation. Supports: The distinction among discovery, invention, knowledge transfer, and innovation and the warning that available inputs and outputs provide an incomplete picture of innovation and its economic impact.

  23. Primary scientific paper

    On Computable Numbers, with an Application to the Entscheidungsproblem

    Alan M. Turing. Supports: Turing's model of general computation and proof that no general mechanical decision procedure solves every instance of the stated decision problem.

  24. Primary scientific paper

    The Chemical Basis of Morphogenesis

    Alan M. Turing. Supports: Turing's cross-disciplinary reaction-diffusion model showing how simple local dynamics can generate biological pattern.

  25. Primary scientific paper

    A Mathematical Theory of Communication

    Claude E. Shannon. Supports: The mathematical separation of source, channel, noise, coding, and receiver and the resulting limits on reliable communication.

  26. Primary scientific editorial

    The Bandwagon

    Claude E. Shannon. Supports: Shannon's warning that fashionable relabeling and weak applications could dilute information theory and his call for rigorous research.

  27. Primary technical report

    First Draft of a Report on the EDVAC

    John von Neumann. Supports: An early public specification of stored-program computer organization; attribution of the underlying group contributions requires historical care.

  28. Institutional archive

    The Electronic Computer Project

    Institute for Advanced Study. Supports: The 1945–1957 project, its mixed public and institutional support, its engineering duration, its open reports, and the replication of its architecture.

  29. Primary scientific paper

    Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components

    John von Neumann. Supports: The use of redundancy and restoring mechanisms to synthesize reliable computation from unreliable components.

  30. Primary scientific lecture

    There's Plenty of Room at the Bottom

    Richard P. Feynman. Supports: Feynman's technically grounded invitation to develop atom-scale manipulation, dense storage, and miniaturized machines before a mature field or roadmap existed.

  31. Primary scientific address

    Cargo Cult Science

    Richard P. Feynman. Supports: Feynman's argument for reporting disconfirming evidence and practicing scientific integrity beyond the outward form of experimentation.

  32. Primary scientific paper

    Simulating Physics with Computers

    Richard P. Feynman. Supports: Feynman's argument that exact simulation of quantum physics motivates a computing machine governed by quantum mechanics.

  33. Federal statistical report

    R&D Spending at Federally Funded R&D Centers Surpassed $31 Billion in FY 2024

    National Center for Science and Engineering Statistics. Supports: The number of FFRDCs, expenditure growth, funding concentration, and FY2024 R&D composition.

  34. Federal regulation

    Federal Acquisition Regulation 35.017—Federally Funded Research and Development Centers

    U.S. General Services Administration. Supports: The special long-term need, continuity, independence, access, sponsorship, and periodic-review requirements that define the FFRDC relationship.

  35. Congressional policy report

    Federally Funded Research and Development Centers: Background and Issues for Congress

    Congressional Research Service. Supports: The February 2026 count and activity classification of FFRDCs, their share of federally funded R&D, their statutory and contractual rationale, and congressional oversight questions including mission drift and infrastructure.

  36. Federal administrative list

    Master Government List of Federally Funded R&D Centers

    National Center for Science and Engineering Statistics. Supports: The current federally recognized FFRDC population and each center's sponsoring agency, administrator, location, and activity type.

  37. Federal oversight report

    Federal Research Centers: DHS Actions Could Reduce the Potential for Unnecessary Overlap among Its R&D Projects

    U.S. Government Accountability Office. Supports: A bounded example of FFRDC work organized through task orders and weaknesses in tracking how sponsors used resulting deliverables.

  38. Federal statistical report

    Universities Report 8.1% Growth in R&D Expenditures in FY 2024, Reaching Over $117 Billion

    National Center for Science and Engineering Statistics. Supports: Academic R&D totals, sources, fields, concentration, and the institutional share of university research funding.

  39. Federal oversight report

    Federal Research Grants: Opportunities Remain for Agencies to Streamline Administrative Requirements

    U.S. Government Accountability Office. Supports: The administrative workload created by federal grant requirements and opportunities to standardize, postpone, or simplify pre-award requirements.

  40. Federal oversight report

    Biomedical Research: NIH Should Assess the Impact of Growth in Indirect Costs on Its Mission

    U.S. Government Accountability Office. Supports: The functions and historical growth of NIH facilities and administrative reimbursements and the need to assess their effect on research capacity.

  41. Federal oversight testimony

    National Science Foundation: Preliminary Observations on Indirect Costs for Research

    U.S. Government Accountability Office. Supports: NSF indirect costs as a share of annual award funding during FY2000–FY2016 and weaknesses in rate-negotiation documentation.

  42. Congressional policy report

    Universities and Indirect Costs for Federally Funded Research

    Congressional Research Service. Supports: The history, cost definitions, negotiated-rate framework, 2025 agency proposals, 2026 statutory constraints, policy tradeoffs, and transparency questions surrounding university indirect-cost reimbursement.

  43. Agency policy notice

    Supplemental Guidance to the 2024 NIH Grants Policy Statement: Indirect Cost Rates

    National Institutes of Health. Supports: NIH's attempted replacement of negotiated facilities and administrative rates with a standard 15 percent rate.

  44. Federal appellate opinion

    Commonwealth of Massachusetts v. National Institutes of Health

    U.S. Court of Appeals for the First Circuit. Supports: The affirmance of the order permanently enjoining and vacating NIH's 2025 indirect-cost guidance.

  45. Peer-reviewed empirical study

    Incentives and Creativity: Evidence from the Academic Life Sciences

    Pierre Azoulay, Joshua S. Graff Zivin, and Gustavo Manso. Supports: A matched comparison associating HHMI's longer, more failure-tolerant investigator funding with more high-impact and exploratory work than conventional project funding.

  46. Peer-reviewed empirical study

    Bias against Novelty in Science: A Cautionary Tale for Users of Bibliometric Indicators

    Jian Wang, Reinhilde Veugelers, and Paula Stephan. Supports: Evidence that novel research has more variable impact, delayed recognition, broader cross-field influence, and disadvantages under short-window bibliometric evaluation.

  47. Peer-reviewed theoretical study

    The Natural Selection of Bad Science

    Paul E. Smaldino and Richard McElreath. Supports: A formal population model in which institutional selection for publication can favor poor methods without requiring individual fraud.

  48. Consensus study report

    Fostering Integrity in Research

    National Academies of Sciences, Engineering, and Medicine. Supports: The system-level relationship among research incentives, publication pressure, stewardship, and scientific integrity.

  49. Consensus study report

    Reproducibility and Replicability in Science

    National Academies of Sciences, Engineering, and Medicine. Supports: Distinct definitions of computational reproducibility and empirical replicability, the limits of binary replication verdicts, and institutional recommendations for transparent artifacts and correction.

  50. Consensus study report

    An Assessment of ARPA-E

    National Academies of Sciences, Engineering, and Medicine. Supports: ARPA-E's use of technically exceptional program directors with substantial authority over program design, active management, milestones, and portfolio decisions.

  51. Peer-reviewed empirical study

    The Influence of Peer Reviewer Expertise on the Evaluation of Research Funding Applications

    Stephen A. Gallo, Joanne H. Sullivan, and Scott R. Glisson. Supports: Evidence that reviewer expertise, seniority, and professional relationships affected proposal evaluations in one biomedical funding dataset, without establishing that expertise guarantees better selections.

  52. Economics working paper and discrete-choice experiment

    Choose Your Moments: Peer Review and Scientific Risk Taking

    Richard T. Carson, Joshua S. Graff Zivin, and Jeffrey G. Shrader. Supports: Experimental evidence that active biomedical scientists valued reviewer disagreement and that the most domain-expert respondents were more receptive to it, subject to the limits of stated choices rather than observed program outcomes.

  53. Research-evaluation principles

    Bibliometrics: The Leiden Manifesto for Research Metrics

    Diana Hicks, Paul Wouters, Ludo Waltman, Sarah de Rijcke, and Ismael Rafols. Supports: The principle that quantitative indicators should support, not replace, qualitative expert assessment and should reflect field differences.

  54. Agency primary source

    Applying for Patents

    U.S. Patent and Trademark Office. Supports: The statutory examination of patent applications for patentability, which is distinct from scholarly peer review of research publications.

  55. Corporate primary source

    Microsoft Open Letter to Academic Research Community

    Microsoft Research. Supports: Microsoft's acknowledgment of the September 2014 Silicon Valley lab closure, layoffs, community concern, and the company's stated continuing commitment to fundamental research.

  56. Corporate primary source

    Roy Levin at Microsoft Research

    Microsoft Research. Supports: The lab's 2001 founding, approximate scale, leadership, technical scope, and stated emphasis on work spanning theory and practice.

  57. Contemporaneous technology reporting

    Former Microsoft Researchers Find New Homes at VMWare, Google, Apple, and Elsewhere

    IEEE Spectrum. Supports: A public-source follow-up of 53 former Microsoft Silicon Valley researchers showing rapid reemployment alongside dispersion across firms, universities, and other destinations.

  58. Contemporaneous business reporting

    IBM Consolidates Its Silicon Valley Footprint, Exits Almaden Lab

    Silicon Valley Business Journal. Supports: IBM's confirmed plan to leave the Almaden site and move its operations to the nearby Silicon Valley Lab.

  59. Corporate primary source

    IBM Research—Silicon Valley

    IBM Research. Supports: IBM's current description of its Silicon Valley research organization and technical areas after the announced site consolidation.

  60. Transaction announcement

    GLOBALFOUNDRIES to Acquire IBM's Microelectronics Business

    GlobalFoundries. Supports: The announced transfer of IBM's microelectronics business, intellectual property, technologists, and manufacturing technologies while IBM retained a stated focus on fundamental semiconductor research.

  61. First-person methodological note with a non-random sample

    Errors in Proofs

    Leslie Lamport. Supports: Lamport's classification of errors reported by one unusually careful algebra reviewer—28 of 84 reviewed papers contained an incorrect statement in a proof or result, while 11 reported incorrect results—and his explicit warning that the sample is not an estimate for all mathematics.

  62. Peer-reviewed qualitative study

    Checking Correctness in Mathematical Peer Review

    Christian Greiffenhagen. Supports: Evidence from 95 interviews and more than 100 referee reports that mathematical peer review adds confidence but does not certify correctness, and that publication is often only the beginning of community verification.

  63. Publisher retraction record

    Retraction Note: Quantized Majorana Conductance

    Nature. Supports: The retraction of the 2018 Nature paper, the accompanying data repository, and the documented Microsoft Station Q Delft affiliation of one author.

  64. Contemporaneous science reporting

    Evidence of Elusive Majorana Particle Dies—But Computing Hope Lives On

    Nature. Supports: Nature's description of the retracted 2018 work as led by researchers at a Microsoft laboratory in the Netherlands and of the authors' stated concern about insufficient rigor in the original data analysis.

  65. Expert commentary with contested examples

    Quantum Computing's Reproducibility Crisis

    Sergey Frolov in Nature. Supports: A field expert's account of failed confirmations, alternative explanations, selective-data concerns, and the need for open data and multidisciplinary scrutiny in Majorana research; the claims are commentary and must not be presented as adjudicated findings.

  66. Technical preprint and benchmark

    FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

    Zhouliang Yu and colleagues. Supports: Both the promise and present limits of AI-assisted formalization—a 5,560-problem Lean 4 benchmark, a human-in-the-loop validation pipeline, and a reported best-model success rate of 16.46 percent under the authors' evaluation budget.

  67. Formalization project record

    Completion of the Liquid Tensor Experiment

    Lean Prover Community. Supports: The completed Lean verification of the Clausen–Scholze liquid-vector-space theorem and the substantial expert collaboration required to formalize frontier mathematics.

  68. Primary scientific and philosophical essay

    The Unreasonable Effectiveness of Mathematics in the Natural Sciences

    Eugene P. Wigner. Supports: Wigner's argument that mathematical concepts developed in one setting can describe physical phenomena with surprising accuracy, alongside his emphasis that such empirical validity is a remarkable and domain-bounded fact rather than a license to equate formal elegance with truth.

  69. Peer-reviewed expert perspective

    The Unreasonable Effectiveness of Data

    Alon Halevy, Peter Norvig, and Fernando Pereira. Supports: The argument that very large datasets and relatively simple learning methods can outperform smaller-data approaches built around more elaborate models in several natural-language tasks.

  70. Technical research paper and institutional explainer

    Why Language Models Hallucinate

    Adam Tauman Kalai, Ofir Nachum, Santosh S. Vempala, and Edwin Zhang. Supports: The authors' analysis that next-word prediction lacks truth labels for low-frequency facts and that accuracy-only evaluations can reward guessing over calibrated abstention.

  71. Expert perspective

    Cargo Cult AI: Is the Ability to Think Scientifically the Defining Essence of Intelligence?

    Peter J. Denning. Supports: A prior explicit application of Feynman's cargo-cult-science critique to language models and the distinction between generating convincing forms and conducting falsifiable scientific inquiry.

  72. Author-supplied abstract for work under review

    Can Composing Generative Models Avoid Hallucinations? Implications for Cybersecurity Use Cases

    Karim Eldefrawy. Supports: The author's reported calibration-closure results for several model-composition operators, the limits of those results before independent manuscript audit, and the distinction between unsupported model confidence and a checkable witness.

  73. Consensus study report

    Renewing U.S. Telecommunications Research

    National Research Council. Supports: The 1996 division of Bell Labs resources between Lucent and AT&T Labs, the contraction in former Bell-family research employment from 1997 to 2001, and the broader decline in stable long-term telecommunications research support.

  74. Corporate primary record

    AT&T Corp. cost-basis guide—Lucent Technologies spinoff

    AT&T. Supports: The September 30, 1996 distribution of Lucent shares to AT&T stockholders and the legal separation of the equipment company from AT&T.

  75. Corporate primary source

    About HRL Laboratories

    HRL Laboratories. Supports: HRL's origins, joint Boeing and General Motors ownership before the announced IBM transaction, government and commercial contract channels, laboratories, facilities, and stated transition mission.

  76. Employer-authored project record

    Karim Eldefrawy—Key Projects

    SRI International. Supports: The public dates, roles, and program affiliations of FARSIDE under DPRIVE, EMPHASIZE under SIEVE, PRISM under RACE, and the Air Force quantum project during the author's SRI tenure.

  77. Agency primary source

    Resilient Anonymous Communication for Everyone

    Defense Advanced Research Projects Agency. Supports: RACE's privacy and resilience objectives, rigorous security requirement, completion status, and later public release of proof-of-concept code.

  78. Agency primary source

    Securing Information for Encrypted Verification and Evaluation

    Defense Advanced Research Projects Agency. Supports: SIEVE's objective of expanding efficient zero-knowledge proofs for complex defense-relevant statements.

  79. Agency primary source

    Data Protection in Virtual Environments

    Defense Advanced Research Projects Agency. Supports: DPRIVE's completed program status and its goal of bringing fully homomorphic encryption within one order of magnitude of unencrypted computation through integrated hardware and software research.

  80. Corporate historical report

    The Evolution of PARC

    Xerox. Supports: Xerox's account of PARC's work on laser printing, Ethernet, the Alto, graphical interfaces, and later institutional evolution.

  81. Corporate primary source

    A Brief History of the Laser Printer

    Xerox. Supports: Xerox's account of PARC's laser-printing invention and the launch of Xerox's first commercial laser printer; it supports a bounded commercialization counterexample rather than a claim about all PARC technologies.

  82. Peer-reviewed economics article

    Profiting from Technological Innovation: Implications for Integration, Collaboration, Licensing and Public Policy

    David J. Teece. Supports: The distinction among invention, the appropriability regime, dominant design, and complementary assets that determine who captures returns from innovation.

  83. Large-sample venture-capital survey and working paper

    How Do Venture Capitalists Make Decisions?

    Paul Gompers, William Gornall, Steven N. Kaplan, and Ilya A. Strebulaev. Supports: Survey evidence from 885 institutional venture capitalists on investment selection, value creation, portfolio practice, and exits; it describes VC decision processes rather than proving one universal startup horizon.

  84. Institutional transition announcement

    SRI Ventures announces new spin-out, Confidencial

    SRI International. Supports: Confidencial's June 2022 public announcement, seed financing, beta-stage product, SRI origins, and roots in the DARPA Brandeis and RACE programs; the date is not used as the spinout date.

  85. Author-maintained research record

    Publications by Research Area

    Karim Eldefrawy. Supports: The site's catalog of 79 research works; the record establishes countable outputs but does not by itself establish adoption, correctness, or retained institutional capability.

  86. Author-maintained invention record linked to USPTO records

    Patents

    Karim Eldefrawy. Supports: The site's list of 31 granted U.S. patents and their linked patent records; a grant establishes patentability, not scientific peer review, product adoption, or institutional continuity.

  87. Author-maintained project record

    Extramurally Funded Projects

    Karim Eldefrawy. Supports: The site's record of 12 funded R&D awards across HRL, SRI, and Confidencial.io; the list records funded activity rather than long-term transition or capability survival.

  88. Awarding-organization record

    NDSS Test of Time Award

    Network and Distributed System Security Symposium. Supports: The award's purpose of recognizing influential work from prior NDSS symposia and the 2024 recognition of the Internet-censorship system paper coauthored by the author.

  89. Official statistical report

    Retirement Experiences of U.S.-Trained Doctoral Scientists and Engineers

    National Center for Science and Engineering Statistics. Supports: Survey evidence that 18 percent of the covered U.S.-trained doctoral science, engineering, and health population had experienced retirement by 2023, while some continued working; it does not measure laboratory-specific tacit-knowledge loss.

  90. Peer-reviewed study of 162 R&D teams

    Can Knowledge-Intensive Teamwork Be Managed?

    Chih-Hsun Chuang, Susan E. Jackson, and Yuan Jiang. Supports: Empirical evidence linking management systems, leadership, external knowledge acquisition, internal knowledge sharing, and knowledge tacitness in research-and-development teams.

  91. Peer-reviewed laboratory experiment

    Transactive Memory Systems, Learning, and Learning Transfer

    Kyle Lewis, Donald Lange, and Lynette Gillis. Supports: Experimental evidence that an experienced group's shared map of who knows what can support learning transfer, with effects depending on sufficient prior joint experience.

  92. Peer-reviewed organizational study

    Individual Experience and Experience Working Together—Predicting Learning Rates from Knowing Who Knows What and Knowing How to Work Together

    Ray Reagans, Linda Argote, and Daria Brooks. Supports: Evidence that prior experience working together and knowledge of teammates' expertise predict team learning rates beyond individual experience alone.

  93. Peer-reviewed laboratory experiment

    Organizational Learning and Forgetting—The Effects of Turnover and Structure

    Raghavendra D. Rao and Linda Argote. Supports: Experimental evidence that organizational structures and routines can buffer some knowledge loss after personnel turnover, subject to the limits of a controlled task setting.

  94. Federal statistical report

    Doctorate Recipients from U.S. Universities: 2024—Postgraduation Trends

    National Center for Science and Engineering Statistics. Supports: The distribution of definite 2024 U.S. postgraduation commitments between postdoctoral training and employment, and the division of non-postdoc employment commitments among academia, industry, government, nonprofits, and other destinations.

  95. Consensus study report

    Graduate STEM Education for the 21st Century

    National Academies of Sciences, Engineering, and Medicine. Supports: The case for student-centered graduate education, deep specialization with broad technical literacy, project-based learning, transparent career outcomes, and funded exposure to academic and nonacademic pathways.

  96. Consensus study report

    The Science of Effective Mentorship in STEMM

    National Academies of Sciences, Engineering, and Medicine. Supports: Evidence-based treatment of mentorship as a learned and improvable practice requiring institutional support, multiple functions, assessment, and attention to inclusion rather than an informal relationship left to chance.

  97. Consensus study report

    The Postdoctoral Experience Revisited

    National Academy of Sciences, National Academy of Engineering, and Institute of Medicine. Supports: The distinction between a defined period of advanced mentored training and the use of postdoctoral researchers as inexpensive long-term labor, together with recommendations on duration, compensation, career development, and mentoring.

  98. Federal program primary source

    Non-Academic Research Internships for Graduate Students (INTERN)

    U.S. National Science Foundation. Supports: A current mechanism for adding research experience in companies, government laboratories, startups, and nonprofits to an NSF-supported graduate pathway, including mentoring, time, funding, and advance treatment of intellectual-property and publication rights.

  99. Federal program primary source

    Office of Science Graduate Student Research Program

    U.S. Department of Energy Office of Science. Supports: A current bridge allowing eligible doctoral students to conduct three to twelve months of thesis research with a DOE national-laboratory scientist and use facilities unavailable at their universities, subject to mission, citizenship or residency, and program constraints.

  100. Federal program primary source

    NSF I-Corps Teams

    U.S. National Science Foundation. Supports: A structured transition mechanism that joins technical, entrepreneurial, and industry-mentor roles and uses customer discovery to test whether research can become a product, service, license, or better use-directed question.

  101. Federal laboratory program primary source

    Postdoctoral Students—NRC Postdocs

    National Institute of Standards and Technology. Supports: A current example of a defined two-year federal-laboratory postdoctoral research opportunity with facilities and staff mentorship, as well as citizenship and degree-age eligibility constraints that prevent it from being a universal bridge.

Research posture

The purpose of this series is not to prove that every old laboratory succeeded or every new institution failed. It is to discover which incentive structures preserve the ability to think, build, remember, and transition across a generation—and whether enough of that ability remains to construct a successor.

Transaction status, statistics, and institutional descriptions will be revised when their underlying records change.

Read the public policy for evidence, feedback, corrections, archived versions, and withdrawals.