Engineering : 231
Date & Time
October 2, 2023, 12:00 pm – 1:00 pm
This event is part of the CBEE DEPARTMENT SEMINAR SERIES
Dr. Tyler Josephson
Assistant Professor, CBEE
Automated reasoning tools can treat the “stuff” of theory as model inputs and outputs, perform logical transformations from one formula to another, and provide rigorous certifications when derivations are mathematically sound. We show how automated reasoning can test whether models generated from data are derivable from or otherwise related to some background theory. We also illustrate how recent interactive theorem proving tools are mature enough to formally prove complex mathematical statements, and we highlight the potential for these tools for not only formally checking scientific theories in our literature, but also for creating bug-free code for scientific computing.