New Course Offering: Logic for Hackers
- Posted by Tim Nelson
- on Jan. 2, 2014
In Spring 2014 Shriram Krishnamurthi and I will be co-teaching a new course called Logic for Hackers. The course will showcase the surprising power that logical techniques such as SAT-solving, model-checking, and automated model-finding lend to developing reliable software.Students are often introduced to logic only from a theoretical perspective, and …
