Hamid Bagheri is an Assistant Professor in the Department of Computer Science and Engineering at University of Nebraska-Lincoln. He is a faculty associate of the Institute for Software Research (ISR), and a co-director of the ESQuaReD Lab. Prof. Bagheri is a recipient of the EPSCoR FIRST Award and the NSF CISE Career Research Initiation Initiative Award. 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 interests are in the field of software engineering, and to date his focus has spanned the areas of security analysis, software testing, applied formal methods, software architecture, and dependability analysis. 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

Software Security: We are working at several security topics, including compositional security analysis (TSE’15, DSN’16, and ICSME’18), vulnerability analysis of dynamically loaded code (INFOCOM’19), and mitigation of security flaws in the Android permission system (FM’15, TSE’17, FAoC’18, and ICSE’18).

Software Analysis and Testing: We are working at several software analysis and testing topics, including reducing run-time adaptation spaces for self-adaptive systems (ICSE’20), automated synthesis and dynamic analysis of design tradeoff spaces (ICSE’14, FAoC’16, and TSE’17), energy-aware test-suite minimization (ISSTA’16), enforcing least-privilege architecture at runtime (ICSA’17 and JSS’19), and system input generation (ISSRE’15 and ICSE’16).

Enhancing Software Verification: We are developing hybrid optimization techniques, such as automated adjustments of verification bounds (ESEC/FSE’16), evolutionary algorithms for bounded verification (ASE’18), constraint reduction and solution reuse (FASE’20), and parallelization, with the goal of improving both performance and scalability of bounded verification techniques.

Dependability Analysis of Cyber-Physical Systems: We are exploring several topics, including a synergy between lightweight formal methods and feature modeling in dependability analysis of a family of surgical robots (ESEC/FSE’18), investigating controller evolution through mining and mutation (ICCPS’20), and synthesis of custom analyzers to substantially automate constructing assurance cases for software certification (ICSE-NIER’20).

Selected publications



Academic genealogy