Vikash Tripathi Post Doctoral Fellow Theoretical Computer Science 2254 3100 vikasht @ imsc . res . in F-14/1, Main Building