Computer Science PhD Candidate at Chennai Mathematical Institute, advised by @ksmeel. Formal Methods / SMT / Model Counting.

ID: 203370860

linkhttp://arijitsh.github.io calendar_today16-10-2010 03:26:09