Theory Group

Anantha Padmanabha joins the theory group

Anantha Padmanabha joins the department faculty. Anantha did his PhD from the IMSc, and had been a postdoctoral fellow at Ecole Normale Superieure, Paris. He works primarily in the application of logic in computer science. Before joining IITM, he was working as a faculty at IIT Dharwad.