People

Lab Supervisors

Jianwei Niu

Jianwei Niu, PhD

Jianwei Niu is a professor in the Department of Computer Science at the University of San Antonio. She received her Ph.D. in Computer Science from University of Waterloo in 2005. Her research interest is in applying mathematically rigorous specification and verification techniques (formal methods) to improve software dependability.

Xiaoyin Wang

Xiaoyin Wang, PhD

Xiaoyin Wang is an associate professor in the Department of Computer Science at the University of San Antonio. He received his Ph.D. in Computer Science from Peking University in 2012. His research focuses on enhancing the quality and productivity of software evolution

Rocky Slavin, PhD

Rocky Slavin is an assistant professor in practice in the Department of Computer Science at the University of San Antonio. He received his Ph.D. in Computer Science from University of Texas at San Antonio in 2017.


 PhD Students

  • Mitra Bokaei Hosseini
  • John Heaps
  • Xue Qin
  • Xueling Zhang