This shows you the differences between two versions of the page.

Link to this comparison view

mission [2016/06/03 20:26]
jpms created
mission [2018/05/15 19:27] (current)
Line 1: Line 1:
 ===== Our Mission ===== ===== Our Mission =====
-The CORE Lab is dedicated to research in the general area of logic-based problem solving, covering a number ​of topics that include constraint programmingknowledge representation ​and reasoningwith applications in intelligent systems.+The Reason ​Lab is dedicated to research in automated reasoning tools, at the intersection ​of computational ​logic and formal methods. The result ​of our work finds applications in artificial intelligence,​ data science, and software engineeringamong others.