Four Lincoln Laboratory technologies win five 2023 R&D 100 awards

Ultrasound that doesn’t require touching patients. A web-based tool that reinvents crew scheduling for the Air Force. Cryptographic hardware that protects sensitive data. And the world’s first practical memory for quantum networking. These four technologies developed at MIT Lincoln Laboratory, either wholly or with collaborators, received 2023 R&D 100 Awards. The ultrasound technology also received […]

A method to interpret AI might not be so interpretable after all

As autonomous systems and artificial intelligence become increasingly common in daily life, new methods are emerging to help humans check that these systems are behaving as expected. One method, called formal specifications, uses mathematical formulas that can be translated into natural-language expressions. Some researchers claim that this method can be used to spell out decisions […]