Hi! My name is Zhiqiang Zang (臧志强).

I am a Ph.D. student in the Department of Electrical and Computer Engineering at The University of Texas at Austin, working with Prof. Milos Gligoric. My main research interests lie in software engineering, formal methods, and systems with focus on improving software quality and developers' productivity. I'm currently exploring other interesting topics, such as computer games and software engineering (CGSE).

I obtained my B.E. in Telecommunication Engineering at Beijing University of Posts and Telecommunications in 2018.