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) at the University of California, Irvine. Bagheri is a co-director of the ESQuaReD Laboratory at UNL. Prior to joining UNL, he was a project scientist in ISR at University of California, Irvine, and also a postdoctoral research fellow at Massachusetts Institute of Technology. He obtained his PhD in Computer Science from University of Virginia in 2013. His research interest lies in Software Engineering and Formal methods, with a focus on advancing software reliability by developing new methods and tools relying on concepts from fields like lightweight formal methods, software synthesis, model-driven development, and software architecture. His publications in several conferences have been recognized as best papers.


  • [Apr., 2018] Pleased to give a talk at the Future of Alloy workshop
  • [Dec., 2017] Awarded NSF CISE Research Initiation Initiative (CRII) Grant
  • [Dec., 2017] Our paper is accepted to appear at ICSE 2018
  • [Jun., 2017] Awarded UNL Collaboration Initiative Seed Grant
  • [May, 2017] Two papers in IEEE TSE 2017
  • [Apr., 2017] Paper presented at ICSA 2017
  • [Mar., 2017] Awarded NSF EPSCoR First Award
  • [Nov., 2016] Paper presented at FSE 2016
  • [Jul., 2016] Paper presented at DSN 2016
  • [May, 2016] Paper presented at ICSE 2016
  • [May, 2016] Our paper is accepted to appear at ISSTA 2016
  • [Mar., 2016] Awarded NSF SHF research Grant
  • Selected Publications

    Journal Articles

    Conference Papers



                      IEEE Transactions on Software Engineering, since 2015
                      ACM Transactions on Software Engineering and Methodology, since 2016
                      IEEE Transactions on Software Reliability, since 2017
                      IEEE Transactions on Dependable and Secure Computing, since 2017
                      IEEE Software, since 2015
                      International Journal on Software Tools for Technology Transfer, since 2015
                      International Journal on Software Engineering and Knowledge Engineering, since 2014
                      Science of Computer Programming, since 2016
                      Journal of Information Security and Applications, since 2017

                      ICSE New Ideas and Emerging Results, PC member 2019
                      IEEE/ACM International Conference on Automated Software Engineering (ASE), PC member 2018
                      International Symposium on Software Testing and Analysis Tool Demonstrations, PC Co-Chair 2018
                      International Workshop on Establishing the Community-Wide Infrastructure for Architecture-Based
                      Software Engineering, PC member 2017
                      International Conference on Software Engineering & Knowledge Engineering, PC member 2012–2017
                      Foundations of Software Engineering Doctoral Symposium, 2017
                      The European Conference on Software Architecture (ECSA), 2016
                      International Conference on Fundamental Approaches to Software Engineering (FASE), 2015
                      The European Conference on Software Architecture (ECSA), 2015
                      Working IEEE/IFIP Conference on Software Architecture (WICSA), 2014
                      International Conference on Software Engineering (ICSE), 2010




    My academic genealogy