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 on several security topics, including compositional security analysis (ISSTA’20, DSN’16, and TSE’15), vulnerability analysis of dynamically loaded code (INFOCOM’19 and IEEE TIFS’20), and mitigation of security flaws in the Android permission system (ICSE’18, TSE’17, and FM’15).

Software Analysis and Testing: We are working on 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 and TSE’17), energy-aware test-suite minimization (ISSTA’16), enforcing least-privilege architecture at runtime (JSS’19), and system input generation (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


  • Four Ph.D. students and two undergraduate students are currently being supported under these grants.
  • CRII: SHF: Leveraging Synthesis for Dynamic Design Space Analysis
  • SHF: Small: Efficient Formal Analysis of Evolving Software Systems
  • NU System Science, Collaboration Initiative Grant: A Model-Based Approach to Dependability for a Family of Surgical Robots
  • EPSCoR First Award


  • Spring 2020   CSCE 498/896: Logic for Systems
  • Fall 2019        CSCE 461/866: Advanced Software Engineering
  • Spring 2019   CSCE 488/866: Software Design and Architecture
  • Fall 2018        CSCE 461/866: Advanced Software Engineering
  • Fall 2018        CSCE 990: Mobile Software Analysis
  • Spring 2018   CSCE 361: Software Engineering
  • Fall 2017        CSCE 990: Mobile Software Analysis
  • Spring 2017   CSCE 488/866: Software Design and Architecture
  • Fall 2016        CSCE 990: Mobile Software Analysis

Academic genealogy

  • Hamid Bagheri
  • -> Kevin Sullivan
  • -> David Notkin
  • -> Nico Habermann
  • -> Edsger Dijkstra