Manindra Agrawal and M. Vidyasagar

Manindra Agrawal is a Professor of Computer Science and Engineering at IIT Kanpur. M. Vidyasagar is a National Science Chair at IIT Hyderabad.