Hamid Bagheri is an Assistant Professor in the Department of Computer Science and Engineering at University of Nebraska-Lincoln. 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. He obtained his PhD in Computer Science from University of Virginia in 2013. 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.


Selected Publications

Journal Articles

Conference Papers

Services

                  IEEE Transactions on Software Engineering (IEEE TSE),
                  IEEE Transactions on Software Engineering and Methodology (ACM TOSEM),
                  IEEE Software,
                  International Journal on Software Tools for Technology Transfer (STTT),
                  International Journal on Software Engineering and Knowledge Engineering,
                  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)

                  International Conference on Software Engineering and Knowledge Engineering, 2012– 2016
 


My academic genealogy