CS Blog

Archives Jan. 2, 2014

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

Previous day

Dec. 17, 2013

Next day

Jan. 9, 2014