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 dependability analysis, applied formal methods, software testing, and software architecture. He is currently on the review boards of the IEEE Transactions on Software Engineering and the ACM Transactions on Software Engineering and Methodology.

Selected publications


Grants

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

Teaching

  • 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

News