Assurance Foundations

In this course, students will explore the foundational theories, concepts, and computer-assisted reasoning tools necessary for creating assured systems.

Areas of Study

Functional programming; theorem proving; and logic for reasoning about access control, security, and trust.

Learn More

Now is the time to earn your master’s online.