Byron Cook, the head of Amazon’s automated-reasoning (AR) group, think his field is entering a “golden era”, driven by a virtuous cycle of improving tools and b… See more.
Distributing proof search, reasoning about distributed systems, and automating regulatory compliance are just three fruitful research areas.