Her research interests include distributed systems and formal methods. Mishra has a PhD from the National Institute of Technology, Allahabad, India. Contact her at mishra.mahi@gmail.com.