Yulong Tang (汤玉龙)
Ph.D. Student
Computer Science, Stony Brook University
Hi, I am Yulong, a PhD student in Computer Science at Stony Brook University, where I am fortunate to be advised by Prof. Shuai Mu. Prior to joining Stony Brook, I was a master’s student at Renmin University of China. Before that, I received my bachelor’s degree from the University of Electronic Science and Technology of China.
My research interests span systems, formal verification and artificial intelligence. I am particularly excited about the intersection of these areas, such as exploring how formal verification can be used to improve the reliability of LLMs and other AI systems.
I have been fortunate to collaborate with Jing Liu and Prof. Tianyin Xu during my internship at Microsoft Research Asia (MSRA). I used to work with Prof. Baptiste Lepers.