Yuting Wang

Yuting Wang is a Tenure-Track Associate Professor at Shanghai Jiao Tong University, specifically affiliated with the John Hopcroft Center for Computer Science. Their research focuses on Formal Verification, Programming Languages, and Logical Frameworks, with significant contributions to verified compilation of system software.

• Core developer of the Abella theorem prover for higher-order reasoning
• Lead developer of Stack-Aware CompCert extensions
• Committee member for conferences like C++ (CPP), Programming Language Foundations in Software Engineering (PLDI), and Practical Aspects of Declarative Languages (PADL)

Current research includes verifying compilers for concurrent systems, designing secure programming languages, and developing compositional verification frameworks. Collaborations with institutions like Yale University and the University of Minnesota under notable advisors Zhong Shao and Gopalan Nadathur have produced 15+ peer-reviewed publications. Their work on CompCertOC demonstrates verified compositional compilation for multi-threaded programs, while their contributions to the Abella system enhance schematic polymorphism and higher-order abstract syntax support.

Yuting Wang actively advises a team of 5 current Ph.D. and M.S. students, with alumni placed at organizations like Tencent and AMD. They maintain a public ORCID profile and welcome prospective students interested in formal methods and systems verification.