CS Blog

Author archives: Tim Nelson

RSS feed of Tim Nelson

Last update on .

Brown CS students continue to distinguish themselves at hackathons nationwide. To read more on this topic, click here.

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 ...