Profile Pic

News


ICLA and ALC co-located at IIT Bombay, Jan 5-10, 2015.

Courses 2014-2015

Spring 2015 : CS 228 Logic for Computer Science

Autumn 2014 : CS 738 Concepts, Algorithms and Tools in Model Checking