Computational Law

The Computational Law project aims at enabling higher degree of automation to achieve better usability and more efficiency of various tasks involving legal reasoning. In addition, autonomous systems such as self-driving-cars and robots would require the capability to reason over and behave according to the law. The Computational Law project focuses on formalization of governmental regulations and enterprise policies, development of automated reasoning procedures for compliance checking, legal planning and regulatory analysis, and developing user-facing computer systems. More broadly, the envisioned outcomes of the Computational Law project have the potential to bring legal understanding and legal tools to everyone in society, not just legal professionals, thus enhancing access to justice and improving the legal system as a whole.