Hamid Bagheri is an Associate Professor in the School of Computing at the University of Nebraska-Lincoln. He is a faculty associate of the Institute for Software Research (ISR) at the University of California, Irvine, and a co-director of the ESQuaReD Lab. Prof. Bagheri is a recipient of the EPSCoR FIRST Award, the NSF CISE Career Research Initiation Initiative Award, and several Distinguished Paper Awards. Prior to joining UNL, he was a postdoctoral researcher at University of California, Irvine and Massachusetts Institute of Technology. He obtained his PhD in Computer Science from University of Virginia. His research is at the intersection of software engineering, security, and formal methods. He is currently on the review boards of the IEEE Transactions on Software Engineering and the ACM Transactions on Software Engineering and Methodology.

Research Areas:
  • Security of Mobile Devices and IoT Systems: [IEEE TSE’22, ICSE’18, ISSTA’20, INFOCOM’19, IEEE TSE’17, IEEE TIFS’20, DSN’16, IEEE TSE’15, EMSE’21, FAoC’18, JSS’19, FM’15].
  • Scaling Formal Verification with Machine Learning: [ESEC/FSE’22, ISSTA’22, ESEC/FSE’16, ASE’18, FASE’20].
  • Software Analysis and Testing: [ICSE’20, ICSE’16, ISSTA’16, ICSE’14, DSN’22, IEEE TSE’17].
  • Dependable Cyber-Physical Systems: [ICCPS’20, ESEC/FSE’18, ICSE-NIER’20, AIAA SciTech'20].
  • Automated Program Repair and Fault Localization: [ICSE’21, ICSE’21, ASE’22, ISSTA’22]
  • Selected Publications