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


Google Scholar





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




(Corresponding authors are marked with *)