Software

New tool automates the formal verification of systems software

Formal systems verification, which mathematically proves that code is secure in all circumstances, is a relatively new technology. Software is getting more complex and harder to get right using traditional software testing ...

Machine learning & AI

Could quantum give us the generative AI we're looking for?

Quantum computing and artificial intelligence (AI) might seem as distant from each other as New York and Los Angeles. But according to Duke Quantum Center (DQC) director Chris Monroe, the two subjects are practically next-door ...

page 3 from 15