Blog

Feb 11, 2022

Automated reasoning’s scientific frontiers

Posted by in categories: augmented reality, robotics/AI

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.

Comments are closed.