Dr Kayal has made a significant contributions in developing algorithms in algebra and number theory, as well as novel techniques in arithmetic complexity.