Yuepeng Wang
Assistant Professor
Computing Science
Areas of interest
Research Interests:
Program synthesis
Program verification
Programming languages
Formal methods
Teaching Interests:
Programming languages
Formal Verification
Compilers
Education
- PhD Computer Science, University of Texas at Austin, 2020
- MS Computer Science, University of Texas at Austin, 2020
- BE Computer Science and Technology, University of Science and Technology of China, 2014
Courses
Fall 2024
Spring 2025
Future courses may be subject to change.