Professor Fisher interviewed on HACMS project

Professor and Chair Kathleen Fisher's work with DARPA on the High-Assurance Cyber Military Systems (HACMS) project was featured in a recent Quanta Magazine article on formal verification and its implications for computer security.