Assistant Professor, School of Computing Science

Contact: 

Email: yuepeng@sfu.ca
Office: TASC1 9207
Phone: 778-782-4480

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