Yuepeng Wang
Assistant Professor, School of Computing Science
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
Research interests:
- Program synthesis
- Program verification
- Programming languages
- Formal methods
Teaching interests:
- Programming languages
- Compilers
- Discrete Math