Yuting Wang (in Chinese: 汪宇霆)


John Hopcroft Center for Computer Science
Shanghai Jiao Tong University
Room 201, IEEE Building No.1, No.800 Dongchuan Road, Minhang District
Shanghai 200240, China

Email: <first name>.<last name> at sjtu.edu.cn

DBLP

Google Scholar

中文主页

!!2025研究生招募!!

本人将招募2025年入学的硕士及博士研究生。如果你有良好的学术背景,并对程序语言和形式化方法方向有兴趣(参见本研究组海报),请与我联系。可能研究项目包括:

About Me

I am currently a Tenure-Track Associate Professor at Shanghai Jiao Tong University. Before that, I was a postdoctoral researcher at Yale University supervised by Zhong Shao from December 2016 to December 2019. I obtained my Ph.D. degree at the University of Minnesota, Twin Cities under the advisory of Gopalan Nadathur. More detailed information can be found in my curriculum vitae.

Research Interests

I am broadly interested in the following research areas:

My current research focuses on techniques and frameworks for verifying system software (including compilers and operating systems). I am also involved in developing theories and frameworks for programming, specifying and verifying rule-based relational specifications. This line of research centers on the development of the Abella theorem prover.

Upcoming Events

Students

Software

Publications

(Corresponding authors are marked with *)