Research objectives

Data-driven logic

Reasoning with Data (ReDa) is a logic-first approach to data-driven inference that asks a simple question: when does data justify an inference?ReDa’s goal is to build sound, usable logical foundations...

Read more