Born in
Bhubaneswar, India, Mishra received a B.Tech. degree in Electronics and Electrical Engineering from the
Indian Institute of Technology Kharagpur in 1980. He then received M.S. and Ph.D. degrees in Computer Science from
Carnegie Mellon University in 1982 and 1985, respectively. His Ph.D. thesis advisor was
Edmund M. Clarke. He began his scientific career as an instructor at the Courant Institute of Mathematical Sciences. He is also a visiting scholar at the
Cold Spring Harbor Laboratory, as well as a co-founder in OpGen, a computational biology company. He also maintains a position as principal investigator at the Center for Malicious Behavior and Model Checking. ==Awards and honors==