Ying Sheng

Ying Shen

HAI Graduate Fellow

Ying studies formal methods, automated reasoning and neural symbolic.

Department: Computer Science

Personal Webpage