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

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.

Software

Publications

(Corresponding authors are marked with *)