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 an Associate Research Scientist at Yale University, supervised by Zhong Shao. I obtained my Ph.D. degree at the University of Minnesota, Twin Cities. My Ph.D. advisor was 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 (Details can be found in my CV).