MIT Lincoln Laboratory 的 Magnetite OS 及另外两项技术荣获 2026 年 R&D 100 大奖

MIT Lincoln Laboratory 的三项技术获得 2026 年 R&D 100 大奖：Magnetite 操作系统，基于经过形式化验证的 seL4 微内核，并用 Rust 编写的服务来保护嵌入式计算机免受网络攻击；Quantum Microsystems 平台，将数百个超导和半导体芯片集成到单个晶圆级系统中；以及一种消除同频 RF 设备上 5G 基站干扰的算法。Magnetite 对政府使用和获批合作伙伴免费，目前正被集成到 DoW 的太空和飞行平台中。