Pratik Shastri Research Fellow Theoretical Computer Science 2254 3239 pratiks @ imsc . res . in F-04 Personal Homepage