A good theoretical foundation adds undeniable strength to any computing paradigm. We investigate the theoretical boundaries of the computation problems in Information Technology and Computer Science. Our projects are collaborative by nature and we work with the other groups at IIIT-Delhi on various projects.