Highlights of Academic Accomplishments

ERC Consolidator Grant, (given by European Research Council), 2019.
(Research career award).

ERC Start Grant, (given by European Research Council), 2011.
(Research career award).

Microsoft Faculty Fellow Awards, (given by Microsoft Research), 2011.
(Outstanding young faculty in computer science).

Golden Chalk Award, (given by IST Austria), 2016.
(Teaching excellence).

Ackermann Award, (given by European Association of Computer Science Logic), 2008.
(Outstanding PhD thesis worldwide in Computer Science Logic).

David J. Sakrison Memorial Prize, (given by University of California, Berkeley), 2008.
(Outstanding piece of research (thesis) EECS, University of California, Berkeley).

President of India Gold Medal, (given by IIT, Kharagpur), 2001.
(Best outgoing student IIT Kharagpur).