Profile Pic

News


Along with Frederic Herbreteau, I am organizing AVeRTS, a post FST&TCS workshop on Dec 19, 2015 at IISc Bengaluru.

Courses 2015-2016

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