He is a faculty associate of the Institute for Software Research (ISR) at the University of California, Irvine. Bagheri is a co-director of the ESQuaReD Laboratory at UNL. Prior to joining UNL, he was a project scientist in ISR at University of California, Irvine, and also a postdoctoral research fellow at Massachusetts Institute of Technology. He obtained his PhD in Computer Science from University of Virginia in 2013. His research interest lies in Software Engineering and Formal methods, with a focus on advancing software reliability by developing new methods and tools relying on concepts from fields like lightweight formal methods, software synthesis, model-driven development, and software architecture. His publications in several conferences have been recognized as best papers.