This course is about logic, computer-aided reasoning tools such as SAT/SMT solvers, and their applications to security and software engineering.

Briefly, the course will cover the following topics:

Course Description

Date/Time/Place:  Wednesdays/5:30 PM-8:20 PM/EIT-3151

The lectures are available here.