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

中文主页

About Me

I am currently a Tenure-Track Associate Professor at Shanghai Jiao Tong University. Beofre 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 actively 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. For a more comprehensive introduction to my research, please consult my research statement.

Upcoming Events

Students

Software

Publications

(Corresponding authors are marked with *)