DOGE lists $522,500 in claimed savings from Department of Defense grant cut

DOGE listed this Department of Defense grant record as cut on 2025-03-03, with $522,500 in claimed savings. Recipient: University of Maryland. Description: Semantic Foundations and Formal Methods for Evolutionary System-of-System Architectures. Principle treats this as an official DOGE claim until independently verified against USAspending, agency records, court filings, or watchdog findings.