Bio

Juan Zhai is an Assistant Professor in the Manning College of Information and Computer Sciences at the University of Massachusetts Amherst. She is a co-director of the Laboratory for Advanced Software Engineering Research (LASER) and a member of the UMass NLP group. Her research interests span software-AI synergy, software dependability, and trustworthy AI. Recently, her work has focused on formal specification synthesis and deep learning framework testing.