Hamid Bagheri

Hamid Bagheri is an Associate Professor in the School of Computing at the University of Nebraska-Lincoln and a faculty associate of the Institute for Software Research (ISR) at the University of California, Irvine. He co-directs the ESQuaReD Lab and serves on the review boards of IEEE Transactions on Software Engineering and ACM Transactions on Software Engineering and Methodology.

His research focuses at the intersection of software engineering, security, and formal methods, with particular expertise in

• Security of Mobile Devices and IoT Systems
• Scaling Formal Verification with Machine Learning
• Software Analysis and Testing
• Dependable Cyber-Physical Systems
• Automated Program Repair and Fault Localization

His publication record spans top-tier venues including ICSE, ASE, ISSTA, ESEC/FSE, and IEEE/ACM Transactions, with recent work focusing on efficient analysis of Alloy specifications, IoT security, and ML-enhanced formal verification. His research has been recognized with multiple Distinguished Paper Awards.

Among his notable awards are:

• EPSCoR FIRST Award
• NSF CISE Career Research Initiation Initiative Award
• SoC Student Choice Outstanding Teaching Award (2023-2024)
• CSE Outstanding Teaching Award (2020-2021)
• NSF EPSCoR First Award (2017)

Prof. Bagheri has successfully advised multiple PhD students including Mohannad Alhanahnah (now tenure-track faculty at Chalmers University) and Clay Stevens (now tenure-track faculty at Iowa State University). He has received substantial research funding including NSF SHF Research Grants and has been actively involved in conference organization as PC member and track chair across numerous major software engineering venues.