Our Mission

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 engineering, among others.

Print/export