Hamid Bagheri is an Assistant Professor in the Department of Computer Science and Engineering at University of Nebraska-Lincoln. Prior to joining UNL, he was a project scientist in the Institute for Software Research 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.

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

                  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