Hamid Bagheri

Hamid Bagheri is an Assistant Professor in the Department of Computer Science and Engineering at UNL. Previously, he was a postdoctoral researcher working with Sam Malek of University of California, Irvine. He has also visited Massachusetts Institute of Technology as a postdoctoral research fellow working with Daniel Jackson. Bagheri received his Ph.D. in Computer Science from the University of Virginia in 2013, where he studied under the mentorship of Kevin Sullivan.

Bagheri is broadly interested in software engineering, and particularly in advancing software reliability by developing new methods and tools relying on concepts from fields like lightweight formal methods, software synthesis, software testing, model-driven development, and software architecture.