• 
  Hamid Bagheri

  Associate Professor

  University of Nebraska-Lincoln

  His research interests are in scaling formal software verification, automated program repair and fault localization, and security of mobile and IoT device.s

Co-Authored Publications

•  NEW EMSE: How Do Developers Use Type Inference: An Exploratory Study in Kotlin Samuel W. Flint, Ali M. Keshk, Robert Dyer, Hamid Bagheri. October 28, 2024.