Courses related to Automated theorem proving

MATH-495: Mathematical quantum mechanics

Quantum mechanics is one of the most successful physical theories. This course presents the mathematical formalism (functional analysis and spectral theory) that underlies quantum mechanics. It is sim

EE-802: Mathematical guarantees of data-driven control

Students learn about advanced topics in data-driven control theory. Students also learn to present and analyze scientific work.