Yuting Wang

Department of Computer Science
Yale University
Room 305, 51 Prospect Street
New Haven, CT 06511-8937
Email: <first name>.<last name> at yale.edu


About Me

I am a Postdoctoral Associate at Yale University, supervised by Zhong Shao. I obtained my Ph.D. degree at the University of Minnesota, Twin Cities. My Ph.D. advisor is Gopalan Nadathur.

I am one of the developers of the Abella theorem prover.

Research Interests

My research interests are broadly in the area of formal verification of software systems. Within this context, I am interested in developing specification and reasoning formalisms, in constructing systems that implement these formalisms and in applying the formalisms using the systems that implement them to verify software artifacts.

In general, I enjoy doing research in the following fields: programming languages, proof theory, type theory, automated and interactive theorem proving, and program analysis.