We conduct research to facilitate better reasoning about computational software, problems, and solutions. Our research advances the theory and practice of correct software development by leveraging concepts and techniques from logic, programming languages, and automated theorem proving.

Faculty Specializing in this Area

Omar Chowdhury

Omar Chowdhury, Ph.D.

Assistant Professor
J. Garrett Morris

J. Garrett Morris, Ph.D.

Assistant Professor