Yuting Wang

Department of Computer Science and Engineering
University of Minnesota
6-204 EE/CS Building, 200 Union Street SE
Minneapolis, MN 55455


About Me

I am a Ph.D. student at the University of Minnesota, Twin Cities. My 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.