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


About Me

I am currently a Tenure-Tracked 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

Prospective Students

I am currently looking for self-motivated undergraduate, master and Ph.D. students to collaborate with. If you are interested in or around my research areas, feel free to contact me.