Roseline Jerry Aloor Research Fellow Theoretical Computer Science 2254 3100 roselineja @ imsc . res . in Personal Homepage